|
||||||||||
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
kodkod.engine.bool.BooleanVariable
public final class BooleanVariable
Represents a boolean variable.
op = Operator.VAR |
no inputs && label in [1, ..., Integer.MAX_VALUE) |
Method Summary | ||
---|---|---|
|
accept(BooleanVisitor<T,A> visitor,
A arg)
Passes this value and the given argument value to the visitor, and returns the resulting value. |
|
int |
hashCode()
Returns a hashcode for this variable. |
|
BooleanFormula |
input(int i)
Throws an IndexOutOfBoundsException. |
|
java.util.Iterator<BooleanFormula> |
iterator()
Returns an empty iterator. |
|
int |
label()
Returns the label for this value. |
|
Operator |
op()
Returns the VAR operator. |
|
int |
size()
Returns 0. |
|
java.lang.String |
toString()
Returns a string representation of this variable. |
Methods inherited from class kodkod.engine.bool.BooleanValue |
---|
compareTo |
Methods inherited from class java.lang.Object |
---|
equals, getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public int label()
label
in class BooleanValue
public java.lang.String toString()
toString
in class java.lang.Object
public <T,A> T accept(BooleanVisitor<T,A> visitor, A arg)
accept
in class BooleanFormula
public Operator op()
op
in class BooleanValue
public java.util.Iterator<BooleanFormula> iterator()
iterator
in interface java.lang.Iterable<BooleanFormula>
iterator
in class BooleanFormula
public int size()
size
in class BooleanFormula
public BooleanFormula input(int i)
input
in class BooleanFormula
java.lang.IndexOutOfBoundsException
public int hashCode()
hashCode
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |