kodkod.engine.bool
Class Operator.Nary

java.lang.Object
  extended by kodkod.engine.bool.Operator
      extended by 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


Nested Class Summary
 
Nested classes/interfaces inherited from class kodkod.engine.bool.Operator
Operator.Nary
 
Field Summary
 
Fields inherited from class kodkod.engine.bool.Operator
AND, CONST, ITE, NOT, OR, VAR
 
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 kodkod.engine.bool.Operator
compareTo, ordinal
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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