Uses of Class
org.xcsp.common.Types.TypeEqNeOperator
-
Packages that use Types.TypeEqNeOperator Package Description org.xcsp.common org.xcsp.parser.callbacks -
-
Uses of Types.TypeEqNeOperator in org.xcsp.common
Methods in org.xcsp.common that return Types.TypeEqNeOperator Modifier and Type Method Description static Types.TypeEqNeOperator
Types.TypeEqNeOperator. valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeEqNeOperator[]
Types.TypeEqNeOperator. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of Types.TypeEqNeOperator in org.xcsp.parser.callbacks
Methods in org.xcsp.parser.callbacks with parameters of type Types.TypeEqNeOperator Modifier and Type Method Description void
XCallbacks. buildCtrLogic(String id, XVariables.XVarInteger x, Types.TypeEqNeOperator op, Types.TypeLogicalOperator lop, XVariables.XVarInteger[] vars)
Callback method for building a logic constraint with one of the following forms: * x = and(x1,x2,...,xr) x = or(x1,x2,...,xr) x = xor(x1,x2,...,xr) x = iff(x1,x2,...,xr) x = imp(x1,x2) x ≠ and(x1,x2,...,xr) x ≠ or(x1,x2,...,xr) x ≠ xor(x1,x2,...,xr) x ≠ iff(x1,x2,...,xr) x ≠ imp(x1,x2) with x1,x2,..., xr being 0/1 variablesdefault void
XCallbacks2. buildCtrLogic(String id, XVariables.XVarInteger x, Types.TypeEqNeOperator op, Types.TypeLogicalOperator lop, XVariables.XVarInteger[] vars)
-