Uses of Class
org.xcsp.common.Types.TypeOperatorRel
-
Packages that use Types.TypeOperatorRel Package Description org.xcsp.common org.xcsp.modeler.api org.xcsp.modeler.definitions org.xcsp.modeler.implementation org.xcsp.parser.callbacks -
-
Uses of Types.TypeOperatorRel in org.xcsp.common
Methods in org.xcsp.common that return Types.TypeOperatorRel Modifier and Type Method Description Types.TypeOperatorRel
Types.TypeOperatorRel. arithmeticInversion()
Returns the operator that is the reverse operator of this operator (no change for NE and EQ).Types.TypeOperatorRel
Types.TypeOperator. toRel()
Returns the corresponding specialized TypeOperatorRel for this constant, or null if this constant is a set operator,.static Types.TypeOperatorRel
Types.TypeOperatorRel. valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeOperatorRel[]
Types.TypeOperatorRel. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of Types.TypeOperatorRel in org.xcsp.modeler.api
Fields in org.xcsp.modeler.api declared as Types.TypeOperatorRel Modifier and Type Field Description static Types.TypeOperatorRel
ProblemAPIBase. DECREASING
A constant denoting the relational operator "Greater than or Equal", which is useful for expressing an ordering, as for example inordered(x, DECREASING)
orlex(x, DECREASING)
.static Types.TypeOperatorRel
ProblemAPIBase. INCREASING
A constant denoting the relational operator "Less than or Equal", which is useful for expressing an ordering, as for example inordered(x, INCREASING)
orlex(x, INCREASING)
.static Types.TypeOperatorRel
ProblemAPIBase. STRICTLY_DECREASING
A constant denoting the relational operator "strictly Greater Than", which is useful for expressing an ordering, as for example inordered(x, STRICTLY_DECREASING)
orlex(x, STRICTLY_DECREASING)
.static Types.TypeOperatorRel
ProblemAPIBase. STRICTLY_INCREASING
A constant denoting the relational operator "strictly Less Than", which is useful for expressing an ordering, as for example inordered(x, STRICTLY_INCREASING)
orlex(x, STRICTLY_INCREASING)
.Methods in org.xcsp.modeler.api with parameters of type Types.TypeOperatorRel Modifier and Type Method Description default CtrEntities.CtrEntity
ProblemAPI. lex(IVar.Var[][] lists, Types.TypeOperatorRel operator)
Builds a constraintlex
on the specified 2-dimensional array of variables: any two successive rows of variables must respect the specified operator.default CtrEntities.CtrEntity
ProblemAPI. lexMatrix(IVar.Var[][] matrix, Types.TypeOperatorRel operator)
Builds a constraintlexMatrix
on the specified matrix of variables.default CtrEntities.CtrEntity
ProblemAPI. ordered(IVar.Var[] list, int[] lengths, Types.TypeOperatorRel operator)
Builds a constraintordered
on the specified lists of variables: any two successive variables must respect the specified operator, while considering the specified lengths.default CtrEntities.CtrEntity
ProblemAPI. ordered(IVar.Var[] list, IVar.Var[] lengths, Types.TypeOperatorRel operator)
Builds a constraintordered
on the specified lists of variables: any two successive variables must respect the specified operator, while considering the specified lengths.default CtrEntities.CtrEntity
ProblemAPI. ordered(IVar.Var[] list, Types.TypeOperatorRel operator)
Builds a constraintordered
on the specified lists of variables: any two successive variables must respect the specified operator. -
Uses of Types.TypeOperatorRel in org.xcsp.modeler.definitions
Methods in org.xcsp.modeler.definitions with parameters of type Types.TypeOperatorRel Modifier and Type Method Description static ICtr.ICtrOrdered
ICtr.ICtrOrdered. buildFrom(IVar[] scope, String key1, Object value1, Object lengths, Types.TypeOperatorRel operator)
-
Uses of Types.TypeOperatorRel in org.xcsp.modeler.implementation
Methods in org.xcsp.modeler.implementation with parameters of type Types.TypeOperatorRel Modifier and Type Method Description abstract CtrEntities.CtrEntity
ProblemIMP. lex(IVar.Var[][] lists, Types.TypeOperatorRel operator)
CtrEntities.CtrEntity
ProblemIMP3. lex(IVar.Var[][] lists, Types.TypeOperatorRel operator)
abstract CtrEntities.CtrEntity
ProblemIMP. lexMatrix(IVar.Var[][] matrix, Types.TypeOperatorRel operator)
CtrEntities.CtrEntity
ProblemIMP3. lexMatrix(IVar.Var[][] matrix, Types.TypeOperatorRel operator)
abstract CtrEntities.CtrEntity
ProblemIMP. ordered(IVar.Var[] list, int[] lengths, Types.TypeOperatorRel operator)
abstract CtrEntities.CtrEntity
ProblemIMP. ordered(IVar.Var[] list, IVar.Var[] lengths, Types.TypeOperatorRel operator)
CtrEntities.CtrEntity
ProblemIMP3. ordered(IVar.Var[] list, int[] lengths, Types.TypeOperatorRel operator)
CtrEntities.CtrEntity
ProblemIMP3. ordered(IVar.Var[] list, IVar.Var[] lengths, Types.TypeOperatorRel operator)
-
Uses of Types.TypeOperatorRel in org.xcsp.parser.callbacks
-