|
||||||||||
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.BooleanConstant
public final class BooleanConstant
A boolean constant, true or false. The integer label of the true and false constants are Integer.MAX_VALUE and -Integer.MAX_VALUE, respectively. The two boolean constants, TRUE and FALSE, are shared among all factories.
this.op = Operator.CONST |
value => Integer.MAX_VALUE, -Integer.MAX_VALUE |
value: boolean |
Field Summary | |
---|---|
static BooleanConstant |
FALSE
|
static BooleanConstant |
TRUE
|
Method Summary | |
---|---|
boolean |
booleanValue()
Returns the primitive boolean representation of this label. |
static BooleanConstant |
constant(boolean value)
Returns the BooleanConstant that represents the given boolean value. |
int |
label()
Returns the label for this value. |
Operator |
op()
Returns Operator.CONST. |
java.lang.String |
toString()
Returns a string representation of this boolean value. |
Methods inherited from class kodkod.engine.bool.BooleanValue |
---|
compareTo |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final BooleanConstant TRUE
public static final BooleanConstant FALSE
Method Detail |
---|
public boolean booleanValue()
public static BooleanConstant constant(boolean value)
public int label()
label
in class BooleanValue
public java.lang.String toString()
toString
in class java.lang.Object
public Operator op()
op
in class BooleanValue
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |