kodkod.engine.bool
Class Operator.Nary
java.lang.Object
kodkod.engine.bool.Operator
kodkod.engine.bool.Operator.Nary
- All Implemented Interfaces:
- java.lang.Comparable<Operator>
- Enclosing class:
- Operator
public abstract static class Operator.Nary
- extends Operator
An n-ary operator, where n>=2
Method Summary |
abstract Operator.Nary |
complement()
Returns the binary operator whose identity and short circuit
values are the negation of this operator's identity and
short circuit. |
abstract BooleanConstant |
identity()
Returns the boolean constant c such that
for all logical values x, c composed
with x using this operator will result in x. |
abstract BooleanConstant |
shortCircuit()
Returns the boolean constant c such that
for all logical values x, c composed
with x using this operator will result in c. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
identity
public abstract BooleanConstant identity()
- Returns the boolean constant c such that
for all logical values x, c composed
with x using this operator will result in x.
- Returns:
- the identity value of this binary operator
shortCircuit
public abstract BooleanConstant shortCircuit()
- Returns the boolean constant c such that
for all logical values x, c composed
with x using this operator will result in c.
- Returns:
- the short circuiting value of this binary operator
complement
public abstract Operator.Nary complement()
- Returns the binary operator whose identity and short circuit
values are the negation of this operator's identity and
short circuit.
- Returns:
- the complement of this binary operator