jif.types
Class AbstractSolver.EquationQueue
java.lang.Object
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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractSolver.EquationQueue
public AbstractSolver.EquationQueue()
AbstractSolver.EquationQueue
public AbstractSolver.EquationQueue(java.util.Collection c)
AbstractSolver.EquationQueue
public AbstractSolver.EquationQueue(AbstractSolver.EquationQueue q)
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)