Uses of Class
kodkod.ast.operator.IntOperator

Packages that use IntOperator

Package	Description
kodkod.ast	Contains classes for creating Kodkod formulas, expressions, and integer expressions.
kodkod.ast.operator	Contains operators for Kodkod formulas, expressions, and integer expressions.

Uses of IntOperator in kodkod.ast

Methods in kodkod.ast that return IntOperator

Modifier and Type	Method and Description
IntOperator	UnaryIntExpression.op() Returns the operator of this.
IntOperator	NaryIntExpression.op() Returns the operator of this.
IntOperator	BinaryIntExpression.op() Returns the operator of this.

Methods in kodkod.ast with parameters of type IntOperator

Modifier and Type	Method and Description
IntExpression	IntExpression.apply(IntOperator op) Returns an expression that represents the application of the given unary operator to this integer expression.
static IntExpression	IntExpression.compose(IntOperator op, Collection<? extends IntExpression> intExprs) Returns the composition of the given int expressions using the given operator.
static IntExpression	IntExpression.compose(IntOperator op, IntExpression... intExprs) Returns the composition of the given int expressions using the given operator.
IntExpression	IntExpression.compose(IntOperator op, IntExpression intExpr) Returns an expression that combines this and the given integer expression using the specified operator.

Constructors in kodkod.ast with parameters of type IntOperator

Constructor and Description
BinaryIntExpression(IntExpression left, IntOperator op, IntExpression right) Constructs a new binary int formula: left op right

Uses of IntOperator in kodkod.ast.operator

Methods in kodkod.ast.operator that return IntOperator

Modifier and Type	Method and Description
static IntOperator	IntOperator.valueOf(String name) Returns the enum constant of this type with the specified name.
static IntOperator[]	IntOperator.values() Returns an array containing the constants of this enum type, in the order they are declared.