|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BinaryIntExpression.Operator | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
Uses of BinaryIntExpression.Operator in kodkod.ast |
---|
Methods in kodkod.ast that return BinaryIntExpression.Operator | |
---|---|
BinaryIntExpression.Operator |
BinaryIntExpression.op()
Returns the operator of this. |
static BinaryIntExpression.Operator |
BinaryIntExpression.Operator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static BinaryIntExpression.Operator[] |
BinaryIntExpression.Operator.values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods in kodkod.ast with parameters of type BinaryIntExpression.Operator | |
---|---|
IntExpression |
IntExpression.compose(BinaryIntExpression.Operator op,
IntExpression intexpr)
Returns an expression that combines this and the given integer expression using the specified operatior. |
Constructors in kodkod.ast with parameters of type BinaryIntExpression.Operator | |
---|---|
BinaryIntExpression(IntExpression left,
BinaryIntExpression.Operator op,
IntExpression right)
Constructs a new binary int formula: left op right |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |