default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(java.util.stream.Stream<XNode<IVar>> trees) |
Builds a constraint allDifferent on the specified (stream of) syntactic trees
(predicates): the predicates, when evaluated, must all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(IVar.Var[] list) |
Builds a constraint allDifferent on the specified integer variables: the variables must
all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(IVar.Var[]... list) |
Builds a constraint allDifferent on the specified integer variables: the variables must
all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(IVar.Var[][][] list) |
Builds a constraint allDifferent on the specified integer variables: the variables must
all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(IVar.Var[] list,
int... exceptValues) |
Builds a constraint allDifferent on the specified integer variables: the variables must
take different values, except those that take one of the specified 'exceptional' values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(IVar.Var x,
IVar.Var... others) |
Builds a constraint allDifferent on the specified integer variables: the variables must
all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferent(XNode<IVar>[] trees) |
Builds a constraint allDifferent on the specified syntactic trees (predicates): the
predicates, when evaluated, must all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.allDifferent(IVar.VarSymbolic[] list) |
Builds a constraint allDifferent on the specified symbolic variables: the
variables must all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.allDifferent(IVar.VarSymbolic[][] list) |
Builds a constraint allDifferent on the specified symbolic variables: the
variables must all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.allDifferent(IVar.VarSymbolic[][][] list) |
Builds a constraint allDifferent on the specified symbolic variables: the
variables must all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.allDifferent(IVar.VarSymbolic x,
IVar.VarSymbolic... others) |
Builds a constraint allDifferent on the specified symbolic variables: the
variables must all take different values.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferentExcept(IVar.Var[] list,
int... exceptValues) |
Deprecated.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferentList(IVar.Var[]... lists) |
Builds a constraint allDifferentList on the specified lists of variables: all tuples
formed by the different lists must be different.
|
default CtrEntities.CtrEntity |
ProblemAPI.allDifferentMatrix(IVar.Var[][] matrix) |
|
default CtrEntities.CtrEntity |
ProblemAPI.allEqual(IVar.Var... list) |
Builds a constraint allEqual on the specified integer variables: the variables must all
take the same value.
|
default CtrEntities.CtrEntity |
ProblemAPI.allEqual(IVar.Var[][] list) |
Builds a constraint allEqual on the specified integer variables: the variables must all
take the same value.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.allEqual(IVar.VarSymbolic... list) |
Builds a constraint allEqual on the specified symbolic variables: the variables
must all take the same value.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.allEqual(IVar.VarSymbolic[][] list) |
Builds a constraint allEqual on the specified symbolic variables: the variables
must all take the same value.
|
default CtrEntities.CtrEntity |
ProblemAPI.allEqualList(IVar.Var[]... lists) |
Builds a constraint allEqualList on the specified lists of variables: all tuples formed by
the different lists must be equal.
|
default CtrEntities.CtrEntity |
ProblemAPI.among(IVar.Var[] list,
int[] values,
int k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take one of the specified values is exactly k .
|
default CtrEntities.CtrEntity |
ProblemAPI.among(IVar.Var[] list,
int[] values,
IVar.Var k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take one of the specified values is exactly k .
|
default CtrEntities.CtrEntity |
ProblemAPI.atLeast(IVar.Var[] list,
int value,
int k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is at least equal to k .
|
default CtrEntities.CtrEntity |
ProblemAPI.atLeast(IVar.Var[] list,
int value,
IVar.Var k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is at least equal to k .
|
default CtrEntities.CtrEntity |
ProblemAPI.atLeast1(IVar.Var[] list,
int value) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is at least 1.
|
default CtrEntities.CtrEntity |
ProblemAPI.atMost(IVar.Var[] list,
int value,
int k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is at most equal to k .
|
default CtrEntities.CtrEntity |
ProblemAPI.atMost(IVar.Var[] list,
int value,
IVar.Var k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is at most equal to k .
|
default CtrEntities.CtrEntity |
ProblemAPI.atMost1(IVar.Var[] list,
int value) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is at most 1.
|
default CtrEntities.CtrEntity |
ProblemAPI.belong(Object operand1,
Object operand2) |
Builds a constraint intension , while considering the operator in applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.cardinality(IVar.Var[] list,
int[] values,
boolean mustBeClosed,
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 values at index i must occur a number of times k_i
that respects the conditions imposed by the object Occurrences .
|
default CtrEntities.CtrEntity |
ProblemAPI.cardinality(IVar.Var[] list,
int[] 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 values at index i must occur a number of times k_i
that respects the conditions imposed by the object Occurrences .
|
default CtrEntities.CtrEntity |
ProblemAPI.cardinality(IVar.Var[] list,
IVar.Var[] values,
boolean mustBeClosed,
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 values at index i must occur a number of times k_i
that respects the conditions imposed by the object Occurrences .
|
default CtrEntities.CtrEntity |
ProblemAPI.cardinality(IVar.Var[] list,
IVar.Var[] values,
ProblemAPIBase.Occurrences occurs) |
Builds a constraint cardinality from the specified arguments: when considering the
sequence of values assigned to the variables of list , each integer in values at index i must occur a number of times k_i
that respects the conditions imposed by the object Occurrences .
|
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 CtrEntities.CtrEntity |
ProblemAPI.channel(IVar.Var[] list) |
Builds a constraint channel from the specified arguments: the value j is assigned
to the ith variable of list iff the value i is assigned to the jth variable of list .
|
default CtrEntities.CtrEntity |
ProblemAPI.channel(IVar.Var[] list,
int startIndex) |
Builds a constraint channel from the specified arguments: the value j is assigned
to the ith variable of list iff the value i is assigned to the jth variable of list .
|
default CtrEntities.CtrEntity |
ProblemAPI.channel(IVar.Var[] list,
int startIndex,
IVar.Var value) |
Builds a constraint channel from the specified arguments: the value i is assigned
to value iff only the ith variable of list is assigned the value 1 (0 is the value assigned to the other variables of list ).
|
default CtrEntities.CtrEntity |
ProblemAPI.channel(IVar.Var[] list1,
int startIndex1,
IVar.Var[] list2,
int startIndex2) |
Builds a constraint channel from the specified arguments: assuming for simplicity that
indexing start at 0, the value j is assigned to the ith variable of list1 iff the value i is assigned to the jth variable of
list2 .
|
default CtrEntities.CtrEntity |
ProblemAPI.channel(IVar.Var[] list,
IVar.Var value) |
Builds a constraint channel from the specified arguments: the value i is assigned
to value iff only the ith variable of list is assigned the value 1 (0 is the value assigned to the other variables of list ).
|
default CtrEntities.CtrEntity |
ProblemAPI.channel(IVar.Var[] list1,
IVar.Var[] list2) |
Builds a constraint channel from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.circuit(IVar.Var[] list) |
Builds a constraint circuit on the specified array of variables.
|
default CtrEntities.CtrEntity |
ProblemAPI.circuit(IVar.Var[] list,
int startIndex) |
Builds a constraint circuit from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.circuit(IVar.Var[] list,
int startIndex,
int size) |
Builds a constraint circuit from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.circuit(IVar.Var[] list,
int startIndex,
IVar.Var size) |
Builds a constraint circuit from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.circuit(IVar.Var[] list,
IVar.Var size) |
Builds a constraint circuit from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.clause(IVar.Var[] list,
Boolean[] phases) |
Builds a constraint clause from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.clause(IVar.Var[] pos,
IVar.Var[] neg) |
Builds a constraint clause from the specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.conjunction(Object... operands) |
Builds a constraint intension , while considering the operator add applied to the
specified arguments.
|
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,
int[] values,
Types.TypeConditionOperatorRel op,
int limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
int[] values,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
int[] values,
Types.TypeConditionOperatorSet op,
int[] set) |
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 set of values.
|
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.TypeConditionOperatorRel op,
int limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
int value,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
int value,
Types.TypeConditionOperatorSet op,
int[] set) |
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 set of values.
|
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,
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.count(IVar.Var[] list,
IVar.Var[] values,
Types.TypeConditionOperatorRel op,
int limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
IVar.Var[] values,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
IVar.Var[] values,
Types.TypeConditionOperatorSet op,
int[] set) |
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 set of values.
|
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.TypeConditionOperatorRel op,
int limit) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the assigned value must respect the condition expressed by the specified operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
IVar.Var value,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the assigned value must respect the condition expressed by the specified operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.count(IVar.Var[] list,
IVar.Var value,
Types.TypeConditionOperatorSet op,
int[] set) |
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 set of values.
|
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 CtrEntities.CtrEntity |
ProblemAPI.ctrFalse(IVar.Var[] scp) |
Builds a disentailed integer constraint, i.e., a special constraint that always returns false .
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.ctrFalse(IVar.VarSymbolic[] scp) |
Builds a disentailed symbolic constraint, i.e., a special constraint that always returns false .
|
default CtrEntities.CtrEntity |
ProblemAPI.ctrTrue(IVar.Var[] scp) |
Builds an entailed integer constraint, i.e., a special constraint that always returns true .
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.ctrTrue(IVar.VarSymbolic[] scp) |
Builds an entailed symbolic constraint, i.e., a special constraint that always returns true .
|
default CtrEntities.CtrEntity |
ProblemAPI.cumulative(IVar.Var[] origins,
int[] lengths,
int[] heights,
long limit) |
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,
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,
long limit) |
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[] 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,
long limit) |
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,
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,
long limit) |
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[] 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.decreasing(IVar.Var... list) |
Builds a constraint ordered on the specified lists of variables, while considering a
decreasing order.
|
default CtrEntities.CtrEntity |
ProblemAPI.decreasing(IVar.Var[]... lists) |
Builds a constraint lex on the specified 2-dimensional array of variables, while considering
a decreasing order on rows.
|
default CtrEntities.CtrEntity |
ProblemAPI.different(Object... operands) |
Builds a constraint intension , while considering the operator ne applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.disjunction(Object... operands) |
Builds a constraint intension , while considering the operator or applied to the
specified arguments.
|
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.equal(Object... operands) |
Builds a constraint intension , while considering the operator eq applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.equivalence(Object... operands) |
Builds a constraint intension , while considering the operator iff applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.exactly(IVar.Var[] list,
int value,
int k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is exactly k .
|
default CtrEntities.CtrEntity |
ProblemAPI.exactly(IVar.Var[] list,
int value,
IVar.Var k) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is exactly k .
|
default CtrEntities.CtrEntity |
ProblemAPI.exactly1(IVar.Var[] list,
int value) |
Builds a constraint count from the specified arguments: the number of variables in the
specified list that take the specified value is exactly 1.
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var[] scp,
int[]... tuples) |
Builds a constraint extension from the specified scope and the specified array of tuples,
seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var[] scp,
int[][] tuples,
Boolean positive) |
Builds a constraint extension from the specified scope and the specified array of tuples,
seen as either supports (when positive is true ) or conflicts (when positive is false ).
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var[] scp,
Collection<int[]> tuples) |
Builds a constraint extension from the specified scope and the specified collection of
tuples, seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var[] scp,
Collection<int[]> tuples,
Boolean positive) |
Builds a constraint extension from the specified scope and the specified collection of
tuples, seen as either supports (when positive is true ) or conflicts (when positive is false ).
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var[] scp,
Table table) |
Builds a constraint extension from the specified scope and the specified table, whose
elements are seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var x,
int... values) |
Builds a unary constraint extension from the specified variable and the specified array of
values, seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var x,
int[] values,
Boolean positive) |
Builds a unary constraint extension from the specified variable and the specified array of
values, seen as either supports (when positive is true ) or conflicts (when positive is false ).
|
default CtrEntities.CtrEntity |
ProblemAPI.extension(IVar.Var x,
Table table) |
Builds a unary constraint extension from the specified variable and the specified table.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp,
String[]... tuples) |
Builds a symbolic constraint extension from the specified scope and the
specified array of symbolic tuples, seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp,
String[][] tuples,
Boolean positive) |
Builds a symbolic constraint extension from the specified scope and the
specified array of symbolic tuples, seen as either supports (when positive is true ) or conflicts (when positive is
false ).
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp,
TableSymbolic table) |
Builds a symbolic constraint extension from the specified scope and the
specified table, whose elements are seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.extension(IVar.VarSymbolic x,
String... values) |
Builds a unary symbolic constraint extension from the specified variable and the
specified array of symbolic values, seen as supports.
|
default CtrEntities.CtrEntity |
ProblemAPISymbolic.extension(IVar.VarSymbolic x,
String[] values,
Boolean positive) |
Builds a unary symbolic constraint extension from the specified variable and the
specified array of symbolic values, seen as either supports (when positive is true ) or conflicts (when positive is
false ).
|
default CtrEntities.CtrEntity |
ProblemAPI.greaterEqual(Object operand1,
Object operand2) |
Builds a constraint intension , while considering the operator ge applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.greaterThan(Object operand1,
Object operand2) |
Builds a constraint intension , while considering the operator gt applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.ifThen(CtrEntities.CtrEntity c1,
CtrEntities.CtrEntity c2) |
Builds a meta-constraint ifThen from the two specified constraints.
|
default CtrEntities.CtrEntity |
ProblemAPI.ifThenElse(CtrEntities.CtrEntity c1,
CtrEntities.CtrEntity c2,
CtrEntities.CtrEntity c3) |
Builds a meta-constraint ifThenElse from the three specified constraints.
|
default CtrEntities.CtrEntity |
ProblemAPI.implication(Object operand1,
Object operand2) |
Builds a constraint intension , while considering the operator imp applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.imply(Object operand1,
Object operand2) |
Deprecated.
|
default CtrEntities.CtrEntity |
ProblemAPI.increasing(IVar.Var... list) |
Builds a constraint ordered on the specified lists of variables, while considering an
increasing order.
|
default CtrEntities.CtrEntity |
ProblemAPI.increasing(IVar.Var[]... lists) |
Builds a constraint lex on the specified 2-dimensional array of variables, while considering
an increasing order on rows.
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(java.util.stream.Stream<IVar.Var> list,
java.util.stream.IntStream values) |
Builds a constraint instantiation , assigning each specified variable with its
corresponding value.
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[][][] list,
int[][][] values,
FunctionalInterfaces.Intx3Predicate p) |
Builds a constraint instantiation , assigning each specified variable at index
(i,j,k) with its corresponding value at index (i,j,k) , provided that the specified predicate accepts (i,j,k) .
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[][] list,
int[][] values,
FunctionalInterfaces.Intx2Predicate p) |
Builds a constraint instantiation , assigning each specified variable at index
(i,j) with its corresponding value at index (i,j) , provided that the specified predicate accepts (i,j) .
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[] list,
int value) |
Builds a constraint instantiation , assigning each specified variable with the
specified value.
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[] list,
int... values) |
Builds a constraint instantiation , assigning each specified variable with its
corresponding value.
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[] list,
int[] values,
FunctionalInterfaces.Intx1Predicate p) |
Builds a constraint instantiation , assigning each specified variable at index
i with its corresponding value at index i , provided that the specified predicate accepts i .
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[] list,
Collection<Integer> values) |
Builds a constraint instantiation , assigning each specified variable with its
corresponding value in the specified collection.
|
default CtrEntities.CtrEntity |
ProblemAPI.instantiation(IVar.Var[] list,
java.util.stream.IntStream values) |
Builds a constraint instantiation , assigning each specified variable with its
corresponding value in the specified stream.
|
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.intension(XNodeParent<IVar> tree) |
Builds a constraint intension from the specified argument that represents the root of a
syntactic tree.
|
default CtrEntities.CtrEntity |
ProblemAPI.lessEqual(Object operand1,
Object operand2) |
Builds a constraint intension , while considering the operator le applied to the
specified arguments.
|
default CtrEntities.CtrEntity |
ProblemAPI.lessThan(Object operand1,
Object operand2) |
Builds a constraint intension , while considering the operator lt applied to the
specified arguments.
|
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.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 value) |
Builds a constraint maximum from the specified arguments: the maximum of the values
assigned to the variables of list must be equal to the value assigned to the variable value .
|
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.maximum(IVar.Var[] list,
ProblemAPIBase.Index index) |
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 .
|
default CtrEntities.CtrEntity |
ProblemAPI.mdd(IVar.Var[] scp,
Transition[] transitions) |
Builds a constraint mdd from the specified scope and the specified transitions.
|
default CtrEntities.CtrEntity |
ProblemAPI.mdd(IVar.Var[] scp,
Transitions transitions) |
|
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 value) |
Builds a constraint minimum from the specified arguments: the minimum of the values
assigned to the variables of list must be equal to the value assigned to the variable value .
|
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.minimum(IVar.Var[] list,
ProblemAPIBase.Index index) |
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 .
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[][] origins,
int[]... lengths) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[][] origins,
int[][] lengths,
boolean zeroIgnored) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[][] origins,
IVar.Var[]... lengths) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[][] origins,
IVar.Var[][] lengths,
boolean zeroIgnored) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[] origins,
int... lengths) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[] origins,
int[] lengths,
boolean zeroIgnored) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[] origins,
IVar.Var... lengths) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var[] origins,
IVar.Var[] lengths,
boolean zeroIgnored) |
Builds a constraint noOverlap from the specified arguments: we are given a set of tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var x1,
IVar.Var x2,
int length1,
int length2) |
Builds a constraint noOverlap from the specified arguments: we are given two tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.noOverlap(IVar.Var x1,
IVar.Var x2,
IVar.Var length1,
IVar.Var length2) |
Builds a constraint noOverlap from the specified arguments: we are given two tasks,
defined by their origins and durations (lengths), which must not overlap.
|
default CtrEntities.CtrEntity |
ProblemAPI.notAllEqual(IVar.Var... list) |
Builds a constraint nValues from the specified arguments: at least two distinct values are
assigned to the variables of the specified list.
|
default CtrEntities.CtrEntity |
ProblemAPI.notEqual(Object... operands) |
Deprecated.
|
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.nValues(IVar.Var[] list,
Types.TypeConditionOperatorRel op,
int limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorRel op,
int limit,
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 limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
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 operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorRel op,
IVar.Var limit,
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 limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorSet op,
int[] set) |
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 set of values.
|
default CtrEntities.CtrEntity |
ProblemAPI.nValues(IVar.Var[] list,
Types.TypeConditionOperatorSet op,
int[] set,
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 set of values.
|
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 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.
|
default CtrEntities.CtrEntity |
ProblemAPI.regular(IVar.Var[] scp,
Automaton automaton) |
Builds a constraint regular from the specified scope and the specified automaton.
|
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.stretch(IVar.Var[] list,
int[] values,
int[] widthsMin,
int[] widthsMax) |
|
default CtrEntities.CtrEntity |
ProblemAPI.stretch(IVar.Var[] list,
int[] values,
int[] widthsMin,
int[] widthsMax,
int[][] patterns) |
|
default CtrEntities.CtrEntity |
ProblemAPI.strictlyDecreasing(IVar.Var... list) |
Builds a constraint ordered on the specified lists of variables, while considering a strict
decreasing order.
|
default CtrEntities.CtrEntity |
ProblemAPI.strictlyDecreasing(IVar.Var[]... lists) |
Builds a constraint lex on the specified 2-dimensional array of variables, while considering
a strict decreasing order on rows.
|
default CtrEntities.CtrEntity |
ProblemAPI.strictlyIncreasing(IVar.Var... list) |
Builds a constraint ordered on the specified lists of variables, while considering a strict
increasing order.
|
default CtrEntities.CtrEntity |
ProblemAPI.strictlyIncreasing(IVar.Var[]... lists) |
Builds a constraint lex on the specified 2-dimensional array of variables, while considering
a strict increasing order on rows.
|
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,
int[] 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(java.util.stream.Stream<XNode<IVar>> trees,
int[] coeffs,
Types.TypeConditionOperatorRel op,
IVar.Var 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(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(java.util.stream.Stream<XNode<IVar>> trees,
Types.TypeConditionOperatorRel op,
long limit) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(java.util.stream.Stream<XNode<IVar>> trees,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified operator and the specified limit.
|
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,
int[] 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,
int[] coeffs,
Types.TypeConditionOperatorRel op,
IVar.Var 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,
int[] coeffs,
Types.TypeConditionOperatorSet op,
int[] set) |
Builds a constraint sum from the specified arguments: the weighted sum must respect the
condition expressed by the specified operator and the specified set of values.
|
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,
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(IVar.Var[] list,
IVar.Var[] 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,
IVar.Var[] coeffs,
Types.TypeConditionOperatorRel op,
IVar.Var 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,
IVar.Var[] coeffs,
Types.TypeConditionOperatorSet op,
int[] set) |
Builds a constraint sum from the specified arguments: the weighted sum must respect the
condition expressed by the specified operator and the specified set of values.
|
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.TypeConditionOperatorRel op,
long limit) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(IVar.Var[] list,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
Builds a constraint sum from the specified arguments: the (simple) 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,
int[] set) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified operator and the specified set of values.
|
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 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,
int[] 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(XNode<IVar>[] trees,
int[] coeffs,
Types.TypeConditionOperatorRel op,
IVar.Var 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(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(XNode<IVar>[] trees,
Types.TypeConditionOperatorRel op,
long limit) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified operator and the specified limit.
|
default CtrEntities.CtrEntity |
ProblemAPI.sum(XNode<IVar>[] trees,
Types.TypeConditionOperatorRel op,
IVar.Var limit) |
Builds a constraint sum from the specified arguments: the (simple) sum must respect the
condition expressed by the specified operator and the specified limit.
|