|
||||||||||
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.MultiGate
public abstract class MultiGate
A logic gate with two or more inputs; an AND or an OR gate.
#inputs > 1 |
some components.this => label in [1..Integer.MAX_VALUE), label in [0..Integer.MAX_VALUE) |
no c1, c2: inputs | c1.label = -c2.label |
this.label > 0 => all c: inputs | |c.label| < this.label |
op: Operator.Binary |
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 gate. |
|
int |
label()
Returns the label for this value. |
|
Operator.Nary |
op()
Returns the operator used to combine the input variables of this connective gate. |
|
java.lang.String |
toString()
Returns a string representation of this multigate. |
Methods inherited from class kodkod.engine.bool.BooleanFormula |
---|
input, iterator, size |
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 final int label()
label
in class BooleanValue
public final Operator.Nary op()
op
in class BooleanValue
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 final int hashCode()
hashCode
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |