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.TypeUnaryArithmeticOperatorTypes.TypeExpr. toUnalop()The type fromTypeUnaryArithmeticOperatorwith the same name as this type, if it exists,nullotherwise.static Types.TypeUnaryArithmeticOperatorTypes.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.TypeUnaryArithmeticOperatorXNode. 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 voidXCallbacks. 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 voidXCallbacks2. buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeUnaryArithmeticOperator aop, XVariables.XVarInteger y)
-