|
||||||||||
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.NotGate
public final class NotGate
A logic NOT gate.
this.op = Operator.NOT |
#inputs = 1 |
this.label = -inputs.label |
label in (-Integer.MAX_VALUE..-1] |
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 inverter. |
|
BooleanFormula |
input(int i)
Returns this.input[i]. |
|
java.util.Iterator<BooleanFormula> |
iterator()
Returns an iterator that returns this gate's single input. |
|
int |
label()
Returns the label for this value. |
|
Operator |
op()
Returns Operator.NOT. |
|
int |
size()
Returns 1. |
|
java.lang.String |
toString()
Returns a string representation of this inverter. |
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
public final int label()
label
in class BooleanValue
public int size()
size
in class BooleanFormula
public <T,A> T accept(BooleanVisitor<T,A> visitor, A arg)
accept
in class BooleanFormula
public java.lang.String toString()
toString
in class java.lang.Object
public Operator op()
op
in class BooleanValue
public BooleanFormula input(int i)
input
in class BooleanFormula
java.lang.IndexOutOfBoundsException
- - i != 0public int hashCode()
hashCode
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |