Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.

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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD