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 fromTypeConditionOperatorRel
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) operandConditionVar(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 insum(x, EQ, 10)
orcount(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 insum(x, GE, 10)
orcount(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 insum(x, GT, 10)
orcount(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 insum(x, LE, 10)
orcount(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 insum(x, LT, 10)
orcount(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 insum(x, NE, 10)
orcount(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 objectCondition
composed of the specified relational operator and value (right operand).default Condition
ProblemAPIBase. condition(Types.TypeConditionOperatorRel op, IVar.Var limit)
Returns an objectCondition
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 constraintcount
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 constraintcount
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 constraintcount
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 constraintcount
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 constraintcount
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 constraintcount
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 constraintcount
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 constraintcount
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 constraintnValues
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 constraintnValues
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 constraintnValues
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 constraintnValues
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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 constraintsum
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, Long[] values, Types.TypeConditionOperatorRel op, Condition condition)
-