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 from TypeLogicalOperator 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 variables
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 variables
default 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)