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.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 implementingCondition
, built from the specified arguments.Condition
Condition.ConditionPar. concretizeWith(Object limit)
Methods in org.xcsp.common with parameters of type Condition Modifier and Type Method Description static XNodeParent<? extends 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 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 Condition
ProblemAPIBase. condition(Types.TypeConditionOperatorSet op, int[] values)
Returns an objectCondition
composed of the specified set operator and array of integers (right operand).default Condition
ProblemAPIBase. condition(Types.TypeConditionOperatorSet op, Range range)
Returns an objectCondition
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 constraintcount
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 constraintcount
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 constraintcumulative
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 constraintcumulative
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 constraintcumulative
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 constraintcumulative
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 constraintcumulative
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 constraintcumulative
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 constraintcumulative
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 constraintcumulative
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 constraintmaximum
from the specified arguments: the maximum of the values assigned to the variables oflist
must be the value assigned to the variable oflist
atindex.variable
and besides this value must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. maximum(IVar.Var[] list, Condition condition)
Builds a constraintmaximum
from the specified arguments: the maximum of the values assigned to the variables oflist
must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. maximum(IVar.Var[] list, IVar.Var index, Condition condition)
Builds a constraintmaximum
from the specified arguments: the maximum of the values assigned to the variables oflist
must be the value assigned to the variable oflist
atindex.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 constraintminimum
from the specified arguments: the minimum of the values assigned to the variables oflist
must be the value assigned to the variable oflist
atindex.variable
and besides this value must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. minimum(IVar.Var[] list, Condition condition)
Builds a constraintminimum
from the specified arguments: the minimum of the values assigned to the variables oflist
must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. minimum(IVar.Var[] list, IVar.Var index, Condition condition)
Builds a constraintminimum
from the specified arguments: the minimum of the values assigned to the variables oflist
must be the value assigned to the variable oflist
atindex.variable
and besides this value must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. nValues(IVar.Var[] list, Condition condition)
Builds a constraintnValues
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 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 specified condition.default CtrEntities.CtrEntity
ProblemAPI. sum(java.util.stream.Stream<XNode<IVar>> trees, int[] coeffs, Condition condition)
Builds a constraintsum
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 constraintsum
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 constraintsum
from the specified arguments: the weighted sum must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. sum(IVar.Var[] list, Condition condition)
Builds a constraintsum
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 constraintsum
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 constraintsum
from the specified arguments: the weighted sum must respect the specified condition.default CtrEntities.CtrEntity
ProblemAPI. sum(XNode<IVar>[] trees, Condition condition)
Builds a constraintsum
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, 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, 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)
-