jif.types
Class AbstractSolver.EquationQueue

java.lang.Object
  extended by jif.types.AbstractSolver.EquationQueue
Enclosing class:
AbstractSolver

protected static class AbstractSolver.EquationQueue
extends java.lang.Object

A queue for equations. This class ensures that an equation is in the queue at most once.


Constructor Summary
AbstractSolver.EquationQueue()
           
AbstractSolver.EquationQueue(AbstractSolver.EquationQueue q)
           
AbstractSolver.EquationQueue(java.util.Collection c)
           
 
Method Summary
 void add(Equation eqn)
           
 void addAll(java.util.Collection c)
           
 void addFirst(Equation eqn)
           
 boolean contains(Equation eqn)
           
 boolean isEmpty()
           
 Equation removeFirst()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractSolver.EquationQueue

public AbstractSolver.EquationQueue()

AbstractSolver.EquationQueue

public AbstractSolver.EquationQueue(java.util.Collection c)

AbstractSolver.EquationQueue

public AbstractSolver.EquationQueue(AbstractSolver.EquationQueue q)
Method Detail

contains

public boolean contains(Equation eqn)

addAll

public void addAll(java.util.Collection c)

removeFirst

public Equation removeFirst()

isEmpty

public boolean isEmpty()

add

public void add(Equation eqn)

addFirst

public void addFirst(Equation eqn)