Uses of Class
org.xcsp.common.Types.TypeUnaryArithmeticOperator
-
Packages that use Types.TypeUnaryArithmeticOperator Package Description org.xcsp.common org.xcsp.common.predicates org.xcsp.parser.callbacks -
-
Uses of Types.TypeUnaryArithmeticOperator in org.xcsp.common
Methods in org.xcsp.common that return Types.TypeUnaryArithmeticOperator Modifier and Type Method Description Types.TypeUnaryArithmeticOperator
Types.TypeExpr. toUnalop()
The type fromTypeUnaryArithmeticOperator
with the same name as this type, if it exists,null
otherwise.static Types.TypeUnaryArithmeticOperator
Types.TypeUnaryArithmeticOperator. valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeUnaryArithmeticOperator[]
Types.TypeUnaryArithmeticOperator. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of Types.TypeUnaryArithmeticOperator in org.xcsp.common.predicates
Methods in org.xcsp.common.predicates that return Types.TypeUnaryArithmeticOperator Modifier and Type Method Description Types.TypeUnaryArithmeticOperator
XNode. unalop(int i)
-
Uses of Types.TypeUnaryArithmeticOperator in org.xcsp.parser.callbacks
Methods in org.xcsp.parser.callbacks with parameters of type Types.TypeUnaryArithmeticOperator Modifier and Type Method Description void
XCallbacks. buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeUnaryArithmeticOperator aop, XVariables.XVarInteger y)
Callback method for building a binary primitive constraint with one of the following forms: x = |y| x = -y x = y*y with x, and y being two integer variables.default void
XCallbacks2. buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeUnaryArithmeticOperator aop, XVariables.XVarInteger y)
-