Uses of Class org.xcsp.common.Types.TypeArithmeticOperator (XCSP3 Java Tools 2.4 API)

Packages that use Types.TypeArithmeticOperator
Package Description

org.xcsp.common

org.xcsp.common.predicates

org.xcsp.parser.callbacks

Uses of Types.TypeArithmeticOperator in org.xcsp.common

Methods in org.xcsp.common that return Types.TypeArithmeticOperator
Modifier and Type	Method	Description
`Types.TypeArithmeticOperator`	Types.TypeExpr.`toAriop()`	The type from `TypeArithmeticOperator` with the same name as this type, if it exists, `null` otherwise.
`static Types.TypeArithmeticOperator`	Types.TypeArithmeticOperator.`valueOf(String name)`	Returns the enum constant of this type with the specified name.
`static Types.TypeArithmeticOperator[]`	Types.TypeArithmeticOperator.`values()`	Returns an array containing the constants of this enum type, in the order they are declared.

Uses of Types.TypeArithmeticOperator in org.xcsp.common.predicates

Methods in org.xcsp.common.predicates that return Types.TypeArithmeticOperator
Modifier and Type Method Description

Types.TypeArithmeticOperator XNode.ariop(int i)

Uses of Types.TypeArithmeticOperator in org.xcsp.parser.callbacks

Methods in org.xcsp.parser.callbacks with parameters of type Types.TypeArithmeticOperator
Modifier and Type	Method	Description
`void`	XCallbacks.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, int k)`	Callback method for building an unary primitive constraint with one of the following forms: (x + p) ⊙ k (x - p) ⊙ k (x * p) ⊙ k (x / p) ⊙ k (x % p) ⊙ k (x ^ p) ⊙ k \|x - p\| ⊙ k with x being an integer variable, p and k constants (integers) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
`void`	XCallbacks.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, XVariables.XVarInteger y)`	Callback method for building a binary primitive constraint with one of the following forms: (x + p) ⊙ y (x - p) ⊙ y (x * p) ⊙ y (x / p) ⊙ y (x % p) ⊙ y (x ^ p) ⊙ y \|x - p\| ⊙ y with x and y being two integer variables, p a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
`void`	XCallbacks.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)`	Callback method for building a binary primitive constraint with one of the following forms: (x + y) ⊙ k (x - y) ⊙ k (x * y) ⊙ k (x / y) ⊙ k (x % y) ⊙ k (x ^ y) ⊙ k \|x - y\| ⊙ k with x and y being two integer variables, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
`void`	XCallbacks.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)`	Callback method for building a ternary primitive constraint with one of the following forms: (x + y) ⊙ z (x - y) ⊙ z (x * y) ⊙ z (x / y) ⊙ z (x % y) ⊙ z (x ^ y) ⊙ z \|x - y\| ⊙ z with x, y and z being three integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}
`default void`	XCallbacks2.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, int k)`
`default void`	XCallbacks2.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, XVariables.XVarInteger y)`
`default void`	XCallbacks2.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)`
`default void`	XCallbacks2.`buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)`