Uses of Class
org.xcsp.common.Types.TypeLogicalOperator
-
Packages that use Types.TypeLogicalOperator Package Description org.xcsp.common org.xcsp.common.predicates org.xcsp.parser.callbacks -
-
Uses of Types.TypeLogicalOperator in org.xcsp.common
Methods in org.xcsp.common that return Types.TypeLogicalOperator Modifier and Type Method Description Types.TypeLogicalOperator
Types.TypeExpr. toLogop()
The type fromTypeLogicalOperator
with the same name as this type, if it exists,null
otherwise.static Types.TypeLogicalOperator
Types.TypeLogicalOperator. valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeLogicalOperator[]
Types.TypeLogicalOperator. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of Types.TypeLogicalOperator in org.xcsp.common.predicates
Methods in org.xcsp.common.predicates that return Types.TypeLogicalOperator Modifier and Type Method Description Types.TypeLogicalOperator
XNode. logop(int i)
-
Uses of Types.TypeLogicalOperator in org.xcsp.parser.callbacks
Methods in org.xcsp.parser.callbacks with parameters of type Types.TypeLogicalOperator Modifier and Type Method Description void
XCallbacks. buildCtrLogic(String id, Types.TypeLogicalOperator lop, XVariables.XVarInteger[] vars)
Callback method for building a logic constraint with one of the following forms: * and(x1,x2,...,xr) or(x1,x2,...,xr) xor(x1,x2,...,xr) iff(x1,x2,...,xr) imp(x1,x2) with x1,x2,..., xr being 0/1 variablesvoid
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, Types.TypeLogicalOperator op, XVariables.XVarInteger[] vars)
default void
XCallbacks2. buildCtrLogic(String id, XVariables.XVarInteger x, Types.TypeEqNeOperator op, Types.TypeLogicalOperator lop, XVariables.XVarInteger[] vars)
-