|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.bool.BooleanValue
kodkod.engine.bool.BooleanFormula
public abstract class BooleanFormula
A non-constant boolean value with zero or more inputs.
size >= 0 |
op: Operator |
size: int |
inputs: [0..size) -> one BooleanFormula |
Method Summary | ||
---|---|---|
abstract
|
accept(BooleanVisitor<T,A> visitor,
A arg)
Passes this value and the given argument value to the visitor, and returns the resulting value. |
|
abstract BooleanFormula |
input(int i)
Returns the ith input to this gate. |
|
abstract java.util.Iterator<BooleanFormula> |
iterator()
Returns an iterator over the inputs to this gate. |
|
abstract int |
size()
Returns the number of inputs to this gate. |
Methods inherited from class kodkod.engine.bool.BooleanValue |
---|
compareTo, label, op |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public abstract <T,A> T accept(BooleanVisitor<T,A> visitor, A arg)
public abstract java.util.Iterator<BooleanFormula> iterator()
iterator
in interface java.lang.Iterable<BooleanFormula>
public abstract int size()
public abstract BooleanFormula input(int i)
java.lang.IndexOutOfBoundsException
- - i < 0 || i >= #this.inputs0 <= i < size |
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |