|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.bool.BooleanValue
public abstract class BooleanValue
Represents a boolean value, which may be a formula
or a constant
. Boolean formulas are produced by
circuit factories
. Each value is associated with
an integer label; the labels are unique within a given factory.
A boolean value with a negative label -|l| represents the negation of the value with the positive
label |l|. Non-constant values are not shared among factories.
no c: BooleanValue - this | some components.c & components.this && c.label = this.label |
op: Operator |
label: [-Integer.MAX_VALUE, Integer.MAX_VALUE] |
Method Summary | |
---|---|
int |
compareTo(BooleanValue other)
Boolean components are ordered according to their labels. |
abstract int |
label()
Returns the label for this value. |
abstract Operator |
op()
Returns the operator representing the function computed by this gate. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public abstract int label()
public abstract Operator op()
public final int compareTo(BooleanValue other)
compareTo
in interface java.lang.Comparable<BooleanValue>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |