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 in ordered(x, DECREASING) or lex(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 in ordered(x, INCREASING) or lex(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 in ordered(x, STRICTLY_DECREASING) or lex(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 in ordered(x, STRICTLY_INCREASING) or lex(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 constraint lex 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 constraint lexMatrix on the specified matrix of variables.
default CtrEntities.CtrEntity	ProblemAPI.ordered(IVar.Var[] list, int[] lengths, Types.TypeOperatorRel operator)	Builds a constraint ordered 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 constraint ordered 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 constraint ordered 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

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

Modifier and Type	Method	Description
void	CompetitionValidator.buildCtrLex(String id, XVariables.XVarInteger[][] lists, Types.TypeOperatorRel operator)
void	CompetitionValidator.buildCtrLex(String id, XVariables.XVarInteger[] list, int[] limit, Types.TypeOperatorRel operator)
void	SolutionChecker.buildCtrLex(String id, XVariables.XVarInteger[][] lists, Types.TypeOperatorRel operator)
void	SolutionChecker.buildCtrLex(String id, XVariables.XVarInteger[] list, int[] limit, Types.TypeOperatorRel operator)
void	XCallbacks.buildCtrLex(String id, XVariables.XVarInteger[][] lists, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrLex(String id, XVariables.XVarInteger[] list, int[] limit, Types.TypeOperatorRel operator)
default void	XCallbacks2.buildCtrLex(String id, XVariables.XVarInteger[][] lists, Types.TypeOperatorRel operator)
default void	XCallbacks2.buildCtrLex(String id, XVariables.XVarInteger[] list, int[] limit, Types.TypeOperatorRel operator)
void	CompetitionValidator.buildCtrLexMatrix(String id, XVariables.XVarInteger[][] matrix, Types.TypeOperatorRel operator)
void	SolutionChecker.buildCtrLexMatrix(String id, XVariables.XVarInteger[][] matrix, Types.TypeOperatorRel operator)
void	XCallbacks.buildCtrLexMatrix(String id, XVariables.XVarInteger[][] matrix, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrLexMatrix(String id, XVariables.XVarInteger[][] matrix, Types.TypeOperatorRel operator)
void	CompetitionValidator.buildCtrOrdered(String id, XVariables.XVarInteger[] list, int[] lengths, Types.TypeOperatorRel operator)
void	CompetitionValidator.buildCtrOrdered(String id, XVariables.XVarInteger[] list, Types.TypeOperatorRel operator)
void	CompetitionValidator.buildCtrOrdered(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] lengths, Types.TypeOperatorRel operator)
void	SolutionChecker.buildCtrOrdered(String id, XVariables.XVarInteger[] list, int[] lengths, Types.TypeOperatorRel operator)
void	SolutionChecker.buildCtrOrdered(String id, XVariables.XVarInteger[] list, Types.TypeOperatorRel operator)
void	SolutionChecker.buildCtrOrdered(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] lengths, Types.TypeOperatorRel operator)
void	XCallbacks.buildCtrOrdered(String id, XVariables.XVarInteger[] list, int[] lengths, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrOrdered(String id, XVariables.XVarInteger[] list, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrOrdered(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] lengths, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrOrdered(String id, XVariables.XVarInteger[] list, int[] lengths, Types.TypeOperatorRel operator)
default void	XCallbacks2.buildCtrOrdered(String id, XVariables.XVarInteger[] list, Types.TypeOperatorRel operator)
default void	XCallbacks2.buildCtrOrdered(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] lengths, Types.TypeOperatorRel operator)