Uses of Interface
org.xcsp.common.Condition

Packages that use Condition

Package	Description
org.xcsp.common
org.xcsp.modeler.api
org.xcsp.modeler.definitions
org.xcsp.modeler.implementation
org.xcsp.parser.callbacks
org.xcsp.parser.loaders

Uses of Condition in org.xcsp.common

Classes in org.xcsp.common that implement Condition

Modifier and Type	Class	Description
static class	Condition.ConditionIntset	Represents a condition composed of a set operator and an array of values (int) as (right) operand.
static class	Condition.ConditionIntvl	Represents a condition composed of a set operator and an interval (defined by its two inclusive bounds) as (right) operand.
static class	Condition.ConditionPar
static class	Condition.ConditionPar1
static class	Condition.ConditionPar2
static class	Condition.ConditionRel	Represents a condition based on a relational operator.
static class	Condition.ConditionSet	Represents a condition based on a set operator.
static class	Condition.ConditionVal	Represents a condition composed of a relational operator and a value (long integer) as (right) operand.
static class	Condition.ConditionVar	Represents a condition composed of a relational operator and a variable as operand.

Fields in org.xcsp.common declared as Condition

Modifier and Type	Field	Description
Condition	Softening.cost	A pair (operator,operand) for a cost-integrated soft constraint, or null for a cost function.

Methods in org.xcsp.common that return Condition

Modifier and Type	Method	Description
static Condition	Condition.buildFrom(Object operator, Object limit)	Returns an object instance of a class implementing Condition, built from the specified arguments.
Condition	Condition.ConditionPar1.concretizeWith(Object limit)
Condition	Condition.ConditionPar2.concretizeWith(Object limit)

Methods in org.xcsp.common with parameters of type Condition

Modifier and Type	Method	Description
static XNodeParent<IVar>	Condition.toNode(IVar x, Condition condition)

Constructors in org.xcsp.common with parameters of type Condition

Constructor	Description
Softening(Condition cost)
SofteningExtension(Condition cost, int defaultCost)
SofteningGlobal(Condition cost, Types.TypeMeasure type)
SofteningGlobal(Condition cost, Types.TypeMeasure type, String parameters)
SofteningIntension(Condition cost)
SofteningSimple(Condition cost, int violationCost)

Uses of Condition in org.xcsp.modeler.api

Methods in org.xcsp.modeler.api that return Condition

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 Condition	ProblemAPIBase.condition(Types.TypeConditionOperatorSet op, int[] values)	Returns an object Condition composed of the specified set operator and array of integers (right operand).
default Condition	ProblemAPIBase.condition(Types.TypeConditionOperatorSet op, Range range)	Returns an object Condition composed of the specified set operator and interval (defined from the two specified bounds).

Methods in org.xcsp.modeler.api with parameters of type Condition

Modifier and Type	Method	Description
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, int[] values, Condition condition)	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 specified condition.
default CtrEntities.CtrEntity	ProblemAPI.count(IVar.Var[] list, IVar.Var[] values, Condition condition)	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 specified condition.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, int[] lengths, int[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, int[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), ends and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), ends and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, IVar.Var[] lengths, int[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, int[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), ends and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), and heights.
default CtrEntities.CtrEntity	ProblemAPI.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)	Builds a constraint cumulative from the specified arguments: we are given a set of tasks, defined by their origins, durations (lengths), ends and heights.
default CtrEntities.CtrEntity	ProblemAPI.element(int[][] matrix, int startRowIndex, IVar.Var rowIndex, int startColIndex, IVar.Var colIndex, Condition condition)
default CtrEntities.CtrEntity	ProblemAPI.element(int[] list, int startIndex, ProblemAPIBase.Index index, Condition condition)
default CtrEntities.CtrEntity	ProblemAPI.element(int[] list, IVar.Var index, Condition condition)
default CtrEntities.CtrEntity	ProblemAPI.element(IVar.Var[] list, int startIndex, ProblemAPIBase.Index index, Condition condition)
default CtrEntities.CtrEntity	ProblemAPI.element(IVar.Var[] list, Condition condition)
default CtrEntities.CtrEntity	ProblemAPI.element(IVar.Var[] list, IVar.Var index, Condition condition)
default CtrEntities.CtrEntity	ProblemAPI.maximum(IVar.Var[] list, int startIndex, ProblemAPIBase.Index index, Condition condition)	Builds a constraint maximum from the specified arguments: the maximum of the values assigned to the variables of list must be the value assigned to the variable of list at index.variable and besides this value must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.maximum(IVar.Var[] list, Condition condition)	Builds a constraint maximum from the specified arguments: the maximum of the values assigned to the variables of list must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.maximum(IVar.Var[] list, IVar.Var index, Condition condition)	Builds a constraint maximum from the specified arguments: the maximum of the values assigned to the variables of list must be the value assigned to the variable of list at index.variable and besides this value must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.minimum(IVar.Var[] list, int startIndex, ProblemAPIBase.Index index, Condition condition)	Builds a constraint minimum from the specified arguments: the minimum of the values assigned to the variables of list must be the value assigned to the variable of list at index.variable and besides this value must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.minimum(IVar.Var[] list, Condition condition)	Builds a constraint minimum from the specified arguments: the minimum of the values assigned to the variables of list must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.minimum(IVar.Var[] list, IVar.Var index, Condition condition)	Builds a constraint minimum from the specified arguments: the minimum of the values assigned to the variables of list must be the value assigned to the variable of list at index.variable and besides this value must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.nValues(IVar.Var[] list, Condition condition)	Builds a constraint nValues from the specified arguments: the number of distinct values taken by variables of the specified list must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.nValues(IVar.Var[] list, Condition condition, 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 specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Condition condition)	Builds a constraint sum from the specified arguments: the weighted sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees, Condition condition)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, int[] coeffs, Condition condition)	Builds a constraint sum from the specified arguments: the weighted sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, Condition condition)	Builds a constraint sum from the specified arguments: the sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(IVar.Var[] list, IVar.Var[] coeffs, Condition condition)	Builds a constraint sum from the specified arguments: the weighted sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(XNode<IVar>[] trees, int[] coeffs, Condition condition)	Builds a constraint sum from the specified arguments: the weighted sum must respect the specified condition.
default CtrEntities.CtrEntity	ProblemAPI.sum(XNode<IVar>[] trees, Condition condition)	Builds a constraint sum from the specified arguments: the (simple) sum must respect the specified condition.

Uses of Condition in org.xcsp.modeler.definitions

Methods in org.xcsp.modeler.definitions with parameters of type Condition

Modifier and Type	Method	Description
static ICtr.ICtrCount	ICtr.ICtrCount.buildFrom(IVar[] scope, String list, Object values, Condition condition)
static ICtr.ICtrCumulative	ICtr.ICtrCumulative.buildFrom(IVar[] scope, String origins, String lengths, String ends, String heights, Condition condition)
static ICtr.ICtrElement	ICtr.ICtrElement.buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
static ICtr.ICtrMaximum	ICtr.ICtrMaximum.buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
static ICtr.ICtrMinimum	ICtr.ICtrMinimum.buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
static ICtr.ICtrNValues	ICtr.ICtrNValues.buildFrom(IVar[] scope, String list, String except, Condition condition)
static ICtr.ICtrSum	ICtr.ICtrSum.buildFrom(IVar[] scope, String list, Object coeffs, Condition condition)

Uses of Condition in org.xcsp.modeler.implementation

Methods in org.xcsp.modeler.implementation with parameters of type Condition

Modifier and Type	Method	Description
abstract CtrEntities.CtrEntity	ProblemIMP.count(IVar.Var[] list, int[] values, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.count(IVar.Var[] list, IVar.Var[] values, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.count(IVar.Var[] list, int[] values, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.count(IVar.Var[] list, IVar.Var[] values, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.element(int[][] matrix, int startRowIndex, IVar.Var rowIndex, int startColIndex, IVar.Var colIndex, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.element(int[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.element(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.element(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.element(int[][] matrix, int startRowIndex, IVar.Var rowIndex, int startColIndex, IVar.Var colIndex, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.element(int[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.element(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.element(IVar.Var[] list, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.maximum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.maximum(IVar.Var[] list, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.maximum(XNode<IVar>[] trees, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.maximum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.maximum(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.maximum(XNode<IVar>[] trees, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.minimum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.minimum(IVar.Var[] list, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.minimum(XNode<IVar>[] trees, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.minimum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.minimum(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.minimum(XNode<IVar>[] trees, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.nValues(IVar.Var[] list, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.nValues(IVar.Var[] list, Condition condition, int[] exceptValues)
CtrEntities.CtrEntity	ProblemIMP3.nValues(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.nValues(IVar.Var[] list, Condition condition, int[] exceptValues)
abstract CtrEntities.CtrEntity	ProblemIMP.sum(IVar.Var[] list, int[] coeffs, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.sum(IVar.Var[] list, IVar.Var[] coeffs, Condition condition)
abstract CtrEntities.CtrEntity	ProblemIMP.sum(XNode<IVar>[] trees, int[] coeffs, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.sum(IVar.Var[] list, int[] coeffs, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.sum(IVar.Var[] list, IVar.Var[] coeffs, Condition condition)
CtrEntities.CtrEntity	ProblemIMP3.sum(XNode<IVar>[] trees, int[] coeffs, Condition condition)

Uses of Condition in org.xcsp.parser.callbacks

Methods in org.xcsp.parser.callbacks with parameters of type Condition

Modifier and Type	Method	Description
void	CompetitionValidator.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)
void	CompetitionValidator.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)
void	SolutionChecker.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)
void	SolutionChecker.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)
void	XCallbacks.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)
void	XCallbacks.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)
default void	XCallbacks2.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)
default void	XCallbacks2.buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)
void	CompetitionValidator.buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)
void	CompetitionValidator.buildCtrCount(String id, XVariables.XVarInteger[] list, int[] values, Condition condition)
void	CompetitionValidator.buildCtrCount(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] values, Condition condition)
void	SolutionChecker.buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)
void	SolutionChecker.buildCtrCount(String id, XVariables.XVarInteger[] list, int[] values, Condition condition)
void	SolutionChecker.buildCtrCount(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] values, Condition condition)
void	XCallbacks.buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)
void	XCallbacks.buildCtrCount(String id, XVariables.XVarInteger[] list, int[] values, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCount(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] values, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)
default void	XCallbacks2.buildCtrCount(String id, XVariables.XVarInteger[] list, int[] values, Condition condition)
default void	XCallbacks2.buildCtrCount(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] values, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, int[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, int[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] heights, Condition condition)
void	CompetitionValidator.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, int[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, int[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] heights, Condition condition)
void	SolutionChecker.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, int[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, int[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, int[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, int[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] heights, Condition condition)
default void	XCallbacks2.buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)
void	CompetitionValidator.buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
void	CompetitionValidator.buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrElement(String id, XVariables.XVarInteger[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
void	CompetitionValidator.buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)
void	SolutionChecker.buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
void	SolutionChecker.buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrElement(String id, XVariables.XVarInteger[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
void	SolutionChecker.buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)
void	XCallbacks.buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
void	XCallbacks.buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	XCallbacks.buildCtrElement(String id, XVariables.XVarInteger[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
void	XCallbacks.buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	XCallbacks.buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)
default void	XCallbacks2.buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
default void	XCallbacks2.buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrElement(String id, XVariables.XVarInteger[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
default void	XCallbacks2.buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)
void	CompetitionValidator.buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)
void	SolutionChecker.buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)
void	XCallbacks.buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)
default void	XCallbacks2.buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)
void	CompetitionValidator.buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)
void	SolutionChecker.buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)
void	XCallbacks.buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)
default void	XCallbacks2.buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)
void	CompetitionValidator.buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	CompetitionValidator.buildCtrMaximum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrMaximum(String id, XVariables.XVarInteger[] list, Condition condition)
void	SolutionChecker.buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	SolutionChecker.buildCtrMaximum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrMaximum(String id, XVariables.XVarInteger[] list, Condition condition)
void	XCallbacks.buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	XCallbacks.buildCtrMaximum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrMaximum(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default void	XCallbacks2.buildCtrMaximum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrMaximum(String id, XVariables.XVarInteger[] list, Condition condition)
void	CompetitionValidator.buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
void	XCallbacks.buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
void	XCallbacks.buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	CompetitionValidator.buildCtrMinimum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrMinimum(String id, XVariables.XVarInteger[] list, Condition condition)
void	SolutionChecker.buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	SolutionChecker.buildCtrMinimum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrMinimum(String id, XVariables.XVarInteger[] list, Condition condition)
void	XCallbacks.buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	XCallbacks.buildCtrMinimum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrMinimum(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default void	XCallbacks2.buildCtrMinimum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrMinimum(String id, XVariables.XVarInteger[] list, Condition condition)
void	CompetitionValidator.buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
void	SolutionChecker.buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
void	XCallbacks.buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
void	XCallbacks.buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
default void	XCallbacks2.buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
void	CompetitionValidator.buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	CompetitionValidator.buildCtrNValues(String id, XVariables.XVarInteger[] list, Condition condition)
void	SolutionChecker.buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	SolutionChecker.buildCtrNValues(String id, XVariables.XVarInteger[] list, Condition condition)
void	XCallbacks.buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	XCallbacks.buildCtrNValues(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default void	XCallbacks2.buildCtrNValues(String id, XVariables.XVarInteger[] list, Condition condition)
void	CompetitionValidator.buildCtrNValuesExcept(String id, XVariables.XVarInteger[] list, int[] except, Condition condition)
void	SolutionChecker.buildCtrNValuesExcept(String id, XVariables.XVarInteger[] list, int[] except, Condition condition)
void	XCallbacks.buildCtrNValuesExcept(String id, XVariables.XVarInteger[] list, int[] except, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrNValuesExcept(String id, XVariables.XVarInteger[] list, int[] except, Condition condition)
void	CompetitionValidator.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)
void	CompetitionValidator.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	CompetitionValidator.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)
void	CompetitionValidator.buildCtrSum(String id, XVariables.XVarInteger[] list, int[] coeffs, Condition condition)
void	CompetitionValidator.buildCtrSum(String id, XVariables.XVarInteger[] list, Condition condition)
void	CompetitionValidator.buildCtrSum(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] coeffs, Condition condition)
void	SolutionChecker.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)
void	SolutionChecker.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	SolutionChecker.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)
void	SolutionChecker.buildCtrSum(String id, XVariables.XVarInteger[] list, int[] coeffs, Condition condition)
void	SolutionChecker.buildCtrSum(String id, XVariables.XVarInteger[] list, Condition condition)
void	SolutionChecker.buildCtrSum(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] coeffs, Condition condition)
void	XCallbacks.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)
void	XCallbacks.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
void	XCallbacks.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)
void	XCallbacks.buildCtrSum(String id, XVariables.XVarInteger[] list, int[] coeffs, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrSum(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
void	XCallbacks.buildCtrSum(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] coeffs, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)
default void	XCallbacks2.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default void	XCallbacks2.buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)
default void	XCallbacks2.buildCtrSum(String id, XVariables.XVarInteger[] list, int[] coeffs, Condition condition)
default void	XCallbacks2.buildCtrSum(String id, XVariables.XVarInteger[] list, Condition condition)
default void	XCallbacks2.buildCtrSum(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] coeffs, Condition condition)
protected void	SolutionChecker.checkCondition(int value, Condition condition)
protected boolean	SolutionChecker.evaluateCondition(int value, Condition condition)

Uses of Condition in org.xcsp.parser.loaders

Methods in org.xcsp.parser.loaders with parameters of type Condition

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