kodkod.engine.bool

Class Operator.Nary

java.lang.Object

kodkod.engine.bool.Operator

kodkod.engine.bool.Operator.Nary

All Implemented Interfaces:

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

Modifier and Type	Method and Description
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

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

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