|
||||||||||
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.ITEGate
public final class ITEGate
An if-then-else gate.
inputs = 0->ifFormula + 1->thenFormula + 2->elseFormula |
this.label > 0 |
this.op = Operator.ITE |
ifFormula: BooleanFormula |
thenFormula: BooleanFormula |
elseFormula: BooleanFormula |
all input: inputs | this.label > |input.label| |
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 the hashcode for this if-then-else gate. |
|
BooleanFormula |
input(int i)
Returns this.inputs[i]. |
|
java.util.Iterator<BooleanFormula> |
iterator()
Returns an iterator over this.inputs |
|
int |
label()
Returns this.label |
|
Operator |
op()
Returns Operator.ITE. |
|
int |
size()
Returns 3. |
|
java.lang.String |
toString()
Returns a string representation of this ITE gate. |
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 java.util.Iterator<BooleanFormula> iterator()
iterator
in interface java.lang.Iterable<BooleanFormula>
iterator
in class BooleanFormula
BooleanFormula.iterator()
public int size()
size
in class BooleanFormula
BooleanFormula.size()
public int label()
label
in class BooleanValue
BooleanValue.label()
public <T,A> T accept(BooleanVisitor<T,A> visitor, A arg)
accept
in class BooleanFormula
BooleanFormula.accept(kodkod.engine.bool.BooleanVisitor, Object)
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public Operator op()
op
in class BooleanValue
public BooleanFormula input(int i)
input
in class BooleanFormula
java.lang.IndexOutOfBoundsException
- - 0 < i || i > 2
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |