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.
|