Uses of Class
org.xcsp.common.Types.TypeArithmeticOperator
-
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 fromTypeArithmeticOperator
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)
-