default CtrEntities.CtrEntity |
ProblemAPI.cardinality(IVar.Var[] list,
Range values,
ProblemAPIBase.Occurrences occurrences) |
Builds a constraint cardinality from the specified arguments: when considering the
sequence of values assigned to the variables of list , each integer in the range values at index i must occur a number of times
k_i that respects the conditions imposed by the object Occurrences .
|
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).
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
int[] values,
Types.TypeConditionOperatorSet op,
Range range) |
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 condition expressed by the specified set operator and the specified interval
(range).
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
int value,
Types.TypeConditionOperatorSet op,
Range range) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value must respect the condition expressed by the specified set operator and the specified interval (range).
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
IVar.Var[] values,
Types.TypeConditionOperatorSet op,
Range range) |
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 condition expressed by the specified set operator and the specified interval (range).
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
IVar.Var value,
Types.TypeConditionOperatorSet op,
Range range) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the value must respect the condition expressed by the specified set operator and the specified interval (range).
|
default Domains.Dom |
ProblemAPI.dom(Range range) |
Returns an integer domain composed of the values contained in the specified range.
|
default int |
ProblemAPIOnVals.firstFrom(Range r,
FunctionalInterfaces.Intx1Predicate p) |
Returns the first value in the specified range that satisfies the specified predicate.
|
default int |
ProblemAPIOnVals.firstFrom(Range r,
FunctionalInterfaces.Intx1Predicate p,
int defaultValue) |
Returns the first value in the specified range that satisfies the specified predicate, if one is found.
|
default CtrEntities.CtrArray |
ProblemAPIBase.forall(Range range,
java.util.function.IntConsumer c) |
Builds a group of constraints by executing the specified consumer on each value of the
specified range.
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[] list,
Range values) |
Builds a constraint instantiation , assigning each specified variable with its
corresponding value (from the range).
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorSet op,
Range range) |
Builds a constraint nValues from the specified arguments: the number of distinct values
taken by variables of the specified list must respect the condition expressed by the specified set operator and the specified interval (range).
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorSet op,
Range range,
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 condition expressed by the specified operator
and the specified interval (range).
|
default int[] |
ProblemAPIOnVals.select(Range r,
FunctionalInterfaces.Intx1Predicate p) |
Builds and returns a 1-dimensional array of integers, obtained by selecting from the specified range any value that satisfies the specified
predicate.
|
default <T> T[] |
ProblemAPIOnVars.select(T[] vars,
Range range) |
Builds and returns a 1-dimensional array of objects (e.g., variables), obtained by selecting from the specified array any object, at index
i , that belongs to the specified range.
|
default int[] |
ProblemAPIOnVals.singleValuesFrom(Range r,
java.util.function.Function<Integer,Object> f) |
Builds and returns a 1-dimensional array of integers from the specified range.
|
default CtrEntities.CtrEntity |
ProblemAPI.slide(IVar[] list,
Range range,
java.util.function.IntFunction<CtrEntities.CtrEntity> template) |
Builds a meta-constraint slide from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(IVar.Var[] list,
int[] coeffs,
Types.TypeConditionOperatorSet op,
Range range) |
Builds a constraint sum from the specified arguments: the weighted sum must respect the
condition expressed by the specified set operator and the specified interval (range).
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(IVar.Var[] list,
IVar.Var[] coeffs,
Types.TypeConditionOperatorSet op,
Range range) |
Builds a constraint sum from the specified arguments: the weighted sum must respect the
condition expressed by the specified set operator and the specified interval (range).
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(IVar.Var[] list,
Range coeffs,
Types.TypeConditionOperatorRel op,
long limit) |
Builds a constraint sum from the specified arguments: the weighted sum must respect the
condition expressed by the specified operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(IVar.Var[] list,
Types.TypeConditionOperatorSet op,
Range range) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified set operator and the specified interval (range).
|
default int |
ProblemAPIOnVals.sumOf(Range r) |
Returns the sum of the integers in the specified range.
|
default int[] |
ProblemAPIBase.takingValues(Range values) |
Syntactic Sugar: this method returns the 1-dimensional array of integers represented by the specified range.
|
default java.util.stream.Stream<XNode<IVar>> |
ProblemAPI.treesFrom(Range r,
java.util.function.Function<Integer,XNode<IVar>> f) |
Returns a stream of syntactic trees (predicates) built by applying the specified function to each integer of the specified range.
|
default int[] |
ProblemAPIOnVals.valuesFrom(Range r,
java.util.function.Function<Integer,Object> f) |
Builds and returns a 1-dimensional array of integers from the specified range.
|
default <T extends IVar> T[] |
ProblemAPIOnVars.variablesFrom(Range r,
java.util.function.Function<Integer,Object> f) |
Returns a 1-dimensional array of variables, obtained after collecting the variables returned by the specified function when executed on all
values in this range.
|