Uses of Class
org.xcsp.common.Types.TypeConditionOperatorRel

Packages that use Types.TypeConditionOperatorRel

Package	Description
org.xcsp.common
org.xcsp.common.predicates
org.xcsp.modeler.api
org.xcsp.parser.callbacks
org.xcsp.parser.loaders

Uses of Types.TypeConditionOperatorRel in org.xcsp.common

Fields in org.xcsp.common declared as Types.TypeConditionOperatorRel

Modifier and Type	Field	Description
Types.TypeConditionOperatorRel	Condition.ConditionRel.operator	The relational operator on which the condition is based.

Methods in org.xcsp.common that return Types.TypeConditionOperatorRel

Modifier and Type	Method	Description
Types.TypeConditionOperatorRel	Types.TypeConditionOperatorRel.arithmeticInversion()	Returns the operator that is the reverse operator of this operator (no change for NE and EQ).
Types.TypeConditionOperatorRel	Types.TypeOperatorRel.toConditionOperator()
Types.TypeConditionOperatorRel	Types.TypeConditionOperator.toRel()	Returns the corresponding specialized TypeConditionOperatorRel for this constant, or null if this constant is a set operator.
Types.TypeConditionOperatorRel	Types.TypeExpr.toRelop()	The type from TypeConditionOperatorRel with the same name as this type, if it exists, null otherwise.
static Types.TypeConditionOperatorRel	Types.TypeConditionOperatorRel.valueFor(String s)
static Types.TypeConditionOperatorRel	Types.TypeConditionOperatorRel.valueOf(String name)	Returns the enum constant of this type with the specified name.
static Types.TypeConditionOperatorRel[]	Types.TypeConditionOperatorRel.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.xcsp.common with parameters of type Types.TypeConditionOperatorRel

Modifier and Type	Method	Description
boolean	Types.TypeConditionOperatorRel.oneOf(Types.TypeConditionOperatorRel... types)

Constructors in org.xcsp.common with parameters of type Types.TypeConditionOperatorRel

Constructor	Description
ConditionRel(Types.TypeConditionOperatorRel operator)	Constructs a condition based on a relational operator.
ConditionVal(Types.TypeConditionOperatorRel operator, long k)	Constructs a condition composed of the specified relational operator and the specified value as (right) operand
ConditionVar(Types.TypeConditionOperatorRel operator, IVar x)	Constructs a condition composed of the specified relational operator and the specified variable as (right) operand

Uses of Types.TypeConditionOperatorRel in org.xcsp.common.predicates

Methods in org.xcsp.common.predicates that return Types.TypeConditionOperatorRel

Modifier and Type	Method	Description
Types.TypeConditionOperatorRel	XNode.relop(int i)

Uses of Types.TypeConditionOperatorRel in org.xcsp.modeler.api

Fields in org.xcsp.modeler.api declared as Types.TypeConditionOperatorRel

Modifier and Type	Field	Description
static Types.TypeConditionOperatorRel	ProblemAPIBase.EQ	A constant denoting the relational operator "Equal", which is useful for expressing conditions, as for example in sum(x, EQ, 10) or count(x, takingValue(0), EQ, 5) .
static Types.TypeConditionOperatorRel	ProblemAPIBase.GE	A constant denoting the relational operator "Greater than or Equal", which is useful for expressing conditions, as for example in sum(x, GE, 10) or count(x, takingValue(0), GE, 5) .
static Types.TypeConditionOperatorRel	ProblemAPIBase.GT	A constant denoting the relational operator "strictly Greater Than", which is useful for expressing conditions, as for example in sum(x, GT, 10) or count(x, takingValue(0), GT, 5) .
static Types.TypeConditionOperatorRel	ProblemAPIBase.LE	A constant denoting the relational operator "Less than or Equal", which is useful for expressing conditions, as for example in sum(x, LE, 10) or count(x, takingValue(0), LE, 5) .
static Types.TypeConditionOperatorRel	ProblemAPIBase.LT	A constant denoting the relational operator "strictly Less Than", which is useful for expressing conditions, as for example in sum(x, LT, 10) or count(x, takingValue(0), LT, 5).
static Types.TypeConditionOperatorRel	ProblemAPIBase.NE	A constant denoting the relational operator "Not Equal", which is useful for expressing conditions, as for example in sum(x, NE, 10) or count(x, takingValue(takingValue(0), NE, 5) .

Methods in org.xcsp.modeler.api with parameters of type Types.TypeConditionOperatorRel

Modifier and Type	Method	Description
default Condition	ProblemAPIBase.condition(Types.TypeConditionOperatorRel op, long limit)	Returns an object Condition composed of the specified relational operator and value (right operand).
default Condition	ProblemAPIBase.condition(Types.TypeConditionOperatorRel op, IVar.Var limit)	Returns an object Condition composed of the specified relational operator and variable (right operand).
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, int[] values, Types.TypeConditionOperatorRel op, int limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take one of the specified values must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, int[] values, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take one of the specified values must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, int value, Types.TypeConditionOperatorRel op, int limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take the specified value must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, int value, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take the specified value must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, IVar.Var[] values, Types.TypeConditionOperatorRel op, int limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take one of the values must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, IVar.Var[] values, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take one of the values must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, IVar.Var value, Types.TypeConditionOperatorRel op, int limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take the assigned value must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, IVar.Var value, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint count from the specified arguments: the number of variables in the specified list that take the assigned value must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.nValues(IVar.Var[] list, Types.TypeConditionOperatorRel op, int limit)	Builds a constraint nValues from the specified arguments: the number of distinct values taken by variables of the specified list must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.nValues(IVar.Var[] list, Types.TypeConditionOperatorRel op, int limit, int... exceptValues)	Builds a constraint nValues from the specified arguments: the number of distinct values that are taken by variables of the specified list and that do not occur among those specified must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.nValues(IVar.Var[] list, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint nValues from the specified arguments: the number of distinct values taken by variables of the specified list must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.nValues(IVar.Var[] list, Types.TypeConditionOperatorRel op, IVar.Var limit, int... exceptValues)	Builds a constraint nValues from the specified arguments: the number of distinct values that are taken by variables of the specified list and that do not occur among those specified must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, int[] coeffs, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, int[] coeffs, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, IVar.Var[] coeffs, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, IVar.Var[] coeffs, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, Range coeffs, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(XNode<IVar>[] trees, int[] coeffs, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(XNode<IVar>[] trees, int[] coeffs, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the weighted sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(XNode<IVar>[] trees, Types.TypeConditionOperatorRel op, long limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.
default CtrEntities.CtrEntity	ProblemAPI.sum(XNode<IVar>[] trees, Types.TypeConditionOperatorRel op, IVar.Var limit)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the condition expressed by the specified operator and the specified limit.

Uses of Types.TypeConditionOperatorRel in org.xcsp.parser.callbacks

Methods in org.xcsp.parser.callbacks with parameters of type Types.TypeConditionOperatorRel

Modifier and Type	Method	Description
void	XCallbacks.buildCtrLogic(String id, XVariables.XVarInteger x, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)	Callback method for building a "logic" constraint with the following form: x = (y ⊙ k) with x a 0/1 variable, y an integer variable, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
void	XCallbacks.buildCtrLogic(String id, XVariables.XVarInteger x, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)	Callback method for building a "logic" constraint with the following form: x = (y ⊙ z) with x a 0/1 variable, y and z two integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	XCallbacks2.buildCtrLogic(String id, XVariables.XVarInteger x, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)
default void	XCallbacks2.buildCtrLogic(String id, XVariables.XVarInteger x, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)
void	XCallbacks.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, int k)	Callback method for building an unary primitive constraint with one of the following forms: (x + p) ⊙ k (x - p) ⊙ k (x * p) ⊙ k (x / p) ⊙ k (x % p) ⊙ k (x ^ p) ⊙ k |x - p| ⊙ k with x being an integer variable, p and k constants (integers) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
void	XCallbacks.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, XVariables.XVarInteger y)	Callback method for building a binary primitive constraint with one of the following forms: (x + p) ⊙ y (x - p) ⊙ y (x * p) ⊙ y (x / p) ⊙ y (x % p) ⊙ y (x ^ p) ⊙ y |x - p| ⊙ y with x and y being two integer variables, p a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
void	XCallbacks.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)	Callback method for building a binary primitive constraint with one of the following forms: (x + y) ⊙ k (x - y) ⊙ k (x * y) ⊙ k (x / y) ⊙ k (x % y) ⊙ k (x ^ y) ⊙ k |x - y| ⊙ k with x and y being two integer variables, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
void	XCallbacks.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)	Callback method for building a ternary primitive constraint with one of the following forms: (x + y) ⊙ z (x - y) ⊙ z (x * y) ⊙ z (x / y) ⊙ z (x % y) ⊙ z (x ^ y) ⊙ z |x - y| ⊙ z with x, y and z being three integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}
void	XCallbacks.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeConditionOperatorRel op, int k)	Callback method for building an unary primitive constraint with one of the following forms: x < k x ≤ k x ≥ k x > k x = k x ≠ k with x being an integer variable and k a constant (integer).
default void	XCallbacks2.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, int k)
default void	XCallbacks2.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, XVariables.XVarInteger y)
default void	XCallbacks2.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)
default void	XCallbacks2.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)
default void	XCallbacks2.buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeConditionOperatorRel op, int k)

Uses of Types.TypeConditionOperatorRel in org.xcsp.parser.loaders

Methods in org.xcsp.parser.loaders with parameters of type Types.TypeConditionOperatorRel

Modifier and Type	Method	Description
boolean	ConstraintRecognizer.specificCountCases(String id, XVariables.XVarInteger[] list, int[] values, Types.TypeConditionOperatorRel op, Condition condition)