Package org.xcsp.modeler.api
Interface ProblemAPISymbolic
-
- All Superinterfaces:
ProblemAPIBase
,ProblemAPIOnVals
,ProblemAPIOnVars
- All Known Subinterfaces:
ProblemAPI
- All Known Implementing Classes:
AllInterval
,Bibd
,Blackhole
,BoardColoration
,MagicSequence
,Pic
,Pic2
,Queens
,Rack
,Rack2
,Sudoku
,Warehouse
,Zebra
public interface ProblemAPISymbolic extends ProblemAPIOnVars, ProblemAPIOnVals
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.xcsp.modeler.api.ProblemAPIBase
ProblemAPIBase.Index, ProblemAPIBase.Occurrences
-
-
Field Summary
-
Fields inherited from interface org.xcsp.modeler.api.ProblemAPIBase
ANY, api2imp, BLOCKS, CHANNELING, CLOSED, CLUES, COLUMNS, DECREASING, DIAGONALS, EQ, EXPRESSION, FIRST, GE, GT, IN, INCREASING, LAST, LE, LEX, LT, MAXIMUM, MINIMUM, NE, NEGATIVE, NOGOODS, NOTIN, NVALUES, POSITIVE, PRODUCT, REDUNDANT_CONSTRAINTS, ROWS, STAR, STAR_INT, STAR_SYMBOL, STRICTLY_DECREASING, STRICTLY_INCREASING, SUM, SYMMETRY_BREAKING
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default CtrEntities.CtrEntity
allDifferent(IVar.VarSymbolic[] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
allDifferent(IVar.VarSymbolic[][] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
allDifferent(IVar.VarSymbolic[][][] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
allDifferent(IVar.VarSymbolic x, IVar.VarSymbolic... others)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.default CtrEntities.CtrEntity
allEqual(IVar.VarSymbolic... list)
Builds a constraintallEqual
on the specified symbolic variables: the variables must all take the same value.default CtrEntities.CtrEntity
allEqual(IVar.VarSymbolic[][] list)
Builds a constraintallEqual
on the specified symbolic variables: the variables must all take the same value.default IVar.VarSymbolic[]
arraySymbolic(String id, Size.Size1D size, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, domain, note and classes.default IVar.VarSymbolic[]
arraySymbolic(String id, Size.Size1D size, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, domain, and classes.default IVar.VarSymbolic[]
arraySymbolic(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, String note, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, note (short comment) and classes.default IVar.VarSymbolic[]
arraySymbolic(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, and classes.default IVar.VarSymbolic[][]
arraySymbolic(String id, Size.Size2D size, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, domain, note (short comment) and classes.default IVar.VarSymbolic[][]
arraySymbolic(String id, Size.Size2D size, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, domain, and classes.default IVar.VarSymbolic[][]
arraySymbolic(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, String note, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, note (short comment) and classes.default IVar.VarSymbolic[][]
arraySymbolic(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, and classes.default CtrEntities.CtrEntity
ctrFalse(IVar.VarSymbolic[] scp)
Builds a disentailed symbolic constraint, i.e., a special constraint that always returnsfalse
.default CtrEntities.CtrEntity
ctrTrue(IVar.VarSymbolic[] scp)
Builds an entailed symbolic constraint, i.e., a special constraint that always returnstrue
.default Domains.DomSymbolic
dom(String[] values)
Returns a symbolic domain composed of the sorted distinct values that come from the specified array.default Domains.DomSymbolic
dom(String val, String... otherVals)
Returns a symbolic domain composed of the sorted distinct values that come from the specified values.default CtrEntities.CtrEntity
extension(IVar.VarSymbolic[] scp, String[]... tuples)
Builds a symbolic constraintextension
from the specified scope and the specified array of symbolic tuples, seen as supports.default CtrEntities.CtrEntity
extension(IVar.VarSymbolic[] scp, String[][] tuples, Boolean positive)
Builds a symbolic constraintextension
from the specified scope and the specified array of symbolic tuples, seen as either supports (whenpositive
istrue
) or conflicts (whenpositive
isfalse
).default CtrEntities.CtrEntity
extension(IVar.VarSymbolic[] scp, TableSymbolic table)
Builds a symbolic constraintextension
from the specified scope and the specified table, whose elements are seen as supports.default CtrEntities.CtrEntity
extension(IVar.VarSymbolic x, String... values)
Builds a unary symbolic constraintextension
from the specified variable and the specified array of symbolic values, seen as supports.default CtrEntities.CtrEntity
extension(IVar.VarSymbolic x, String[] values, Boolean positive)
Builds a unary symbolic constraintextension
from the specified variable and the specified array of symbolic values, seen as either supports (whenpositive
istrue
) or conflicts (whenpositive
isfalse
).default TableSymbolic
tableSymbolic()
Builds an empty symbolic table that can be fed with tuples.default TableSymbolic
tableSymbolic(String tuples)
Builds a symbolic table after parsing the specified string.default TableSymbolic
tableSymbolic(String... tuple)
Builds a symbolic table containing the specified tuple.default TableSymbolic
tableSymbolic(String[]... tuples)
Builds a symbolic table containing the specified tuples.default String[]
tuple(String symbol, String... otherSymbols)
Returns a tuple (array) of strings from the specified parameters.default IVar.VarSymbolic
var(String id, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a stand-alone symbolic variable with the specified id, domain, note (short comment) and classes.default IVar.VarSymbolic
var(String id, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a stand-alone symbolic variable with the specified id, domain and classes.-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPIBase
at, automaton, automaton, automaton, block, condition, condition, condition, condition, control, exceptValue, exceptValues, finalState, finalStates, forall, forall, forall, forall, forall, forall, imp, index, index, indexing, indexing, indexing, indexingTuples, indexingTuples, isModel, modelVariant, modelVariant, name, number, occurBetween, occurExactly, occurExactly, occurrences, occurrences, occursBetween, occursEachBetween, occursEachExactly, onlyOn, readFileLines, readFileLines, startIndex, table, table, table, table, table, table, table, table, tableIntersection, tableWithNewColumn, takingValue, takingValue, takingValues, takingValues, takingValues, transitions, transitions, tuple, weightedBy, weightedBy, weightedBy, weightedBy
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPIOnVals
addInt, addInt, allCartesian, allCartesian, allCartesian, allCartesian, allCombinations, allCombinations, allPermutations, allPermutations, columnOf, contains, distinctSorted, distinctSorted, dub, dub, firstFrom, firstFrom, maxOf, minOf, repeat, select, select, select, select, select, selectFromIndexing, selectFromIndexing, selectFromIndexing, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesIn, sumOf, sumOf, transpose, vals, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesIn
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPIOnVars
addObject, addObject, clean, columnOf, contains, diagonalDown, diagonalDown, diagonalDown, diagonalsDown, diagonalsUp, diagonalUp, diagonalUp, diagonalUp, eliminateDim2, eliminateDim3, firstFrom, select, select, select, select, select, select, select, select, select, select, select, select, select, singleVariablesFrom, singleVariablesFrom, singleVariablesIn, transpose, variablesFrom, variablesFrom, variablesFrom, variablesFrom, variablesFrom, variablesFrom, variablesIn, vars, vars, vars, vars, vars, vars, vars, vars
-
-
-
-
Method Detail
-
tuple
default String[] tuple(String symbol, String... otherSymbols)
Returns a tuple (array) of strings from the specified parameters.- Parameters:
symbol
- a stringotherSymbols
- a sequence of strings- Returns:
- a 1-dimensional array of strings
-
tableSymbolic
default TableSymbolic tableSymbolic()
Builds an empty symbolic table that can be fed with tuples.- Returns:
- an object
TableSymbolic
-
tableSymbolic
default TableSymbolic tableSymbolic(String... tuple)
Builds a symbolic table containing the specified tuple.- Parameters:
tuple
- a tuple- Returns:
- a symbolic table with one tuple
-
tableSymbolic
default TableSymbolic tableSymbolic(String[]... tuples)
Builds a symbolic table containing the specified tuples.- Parameters:
tuples
- a sequence of tuples- Returns:
- a symbolic table with the specified tuples
-
tableSymbolic
default TableSymbolic tableSymbolic(String tuples)
Builds a symbolic table after parsing the specified string. The string is what can be expected in XCSP3, as for example(green,red)(yellow,blue)
for a symbolic table.- Parameters:
tuples
- a string representing a sequence of symbolic tuples.- Returns:
- a table containing the parsed specified tuples
-
dom
default Domains.DomSymbolic dom(String[] values)
Returns a symbolic domain composed of the sorted distinct values that come from the specified array.- Parameters:
values
- a 1-dimensional array of strings- Returns:
- a symbolic domain composed of the sorted distinct values that come from the specified array
-
dom
default Domains.DomSymbolic dom(String val, String... otherVals)
Returns a symbolic domain composed of the sorted distinct values that come from the specified values.- Parameters:
val
- a first string (value)otherVals
- a sequence of other strings (values)- Returns:
- a symbolic domain composed of the sorted distinct values that come from the specified values
-
var
default IVar.VarSymbolic var(String id, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a stand-alone symbolic variable with the specified id, domain, note (short comment) and classes. Use methodsdom()
for building symbolic domains. For example:{ @code VarSymbolic x = var("x", dom("red", "green", "blue"), "x is the color of the house"); }
- Parameters:
id
- the id (unique name) of the variabledom
- the symbolic domain of the variablenote
- a short comment about the variableclasses
- the tags (possibly, none) associated with the variable- Returns:
- a stand-alone symbolic variable
-
var
default IVar.VarSymbolic var(String id, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a stand-alone symbolic variable with the specified id, domain and classes. Use methodsdom()
for building symbolic domains. For example:{ @code VarSymbolic x = var("x", dom("red", "green", "blue")); }
- Parameters:
id
- the id (unique name) of the variabledom
- the symbolic domain of the variableclasses
- the tags (possibly, none) associated with the variable- Returns:
- a stand-alone symbolic variable
-
arraySymbolic
default IVar.VarSymbolic[] arraySymbolic(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, String note, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, note (short comment) and classes. Use Methodsize(int)
for building the size (length) of the array. The specified functionf
associates a symbolic domain with each variable at indexi
of the array. In case the specified functionf
return the valuenull
, the variable is not built. In the following example, the first five variables have a domain containing 3 values whereas the next five variables have a domain containing two values only:VarSymbolic[] = arraySymbolic("x", size(10), i -> i < 5 ? dom("red","gren","blue") : dom("yellow","orange"), "x[i] is the color of the ith rabbit");
- Parameters:
id
- the id (unique name) of the arraysize
- the length of the arrayf
- a function that associates a symbolic domain with any possible indexi
of a variable in the arraynote
- a short comment about the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 1-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[] arraySymbolic(String id, Size.Size1D size, FunctionalInterfaces.IntToDomSymbolic f, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, and classes. Use Methodsize(int)
for building the size (length) of the array. The specified functionf
associates a symbolic domain with each variable at indexi
of the array. In case the specified functionf
return the valuenull
, the variable is not built. In the following example, the first five variables have a domain containing 3 values whereas the next five variables have a domain containing two values only:VarSymbolic[] = arraySymbolic("x", size(10), i -> i < 5 ? dom("red","gren","blue") : dom("yellow","orange"));
- Parameters:
id
- the id (unique name) of the arraysize
- the length of the arrayf
- a function that associates a symbolic domain with any possible indexi
of a variable in the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 1-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[] arraySymbolic(String id, Size.Size1D size, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, domain, note and classes. Use Methodsize(int)
for building the size (length) of the array. Each variable of the array has the specified symbolic domain. In the following example, the ten variables have a domain containing 3 values:VarSymbolic[] = arraySymbolic("x", size(10), dom("red","gren","blue"),"x[i] is the color of the ith rabbit");
- Parameters:
id
- the id (unique name) of the arraysize
- the length of the arraydom
- the domain of each variable in the arraynote
- a short comment about the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 1-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[] arraySymbolic(String id, Size.Size1D size, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a 1-dimensional array of symbolic variables with the specified id, size, domain, and classes. Use Methodsize(int)
for building the size (length) of the array. Each variable of the array has the specified symbolic domain. In the following example, the ten variables have a domain containing 3 values:VarSymbolic[] = arraySymbolic("x", size(10), dom("red","gren","blue"));
- Parameters:
id
- the id (unique name) of the arraysize
- the length of the arraydom
- the domain of each variable in the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 1-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[][] arraySymbolic(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, String note, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, note (short comment) and classes. Use Methodsize(int,int)
for building the size (length of each dimension) of the array. The specified functionf
associates a symbolic domain with each variable at index(i,j)
of the array. In case the specified functionf
return the valuenull
, the variable is not built. In the following example, some variables have a domain containing 3 values whereas others have a domain containing two values only:VarSymbolic[][] = arraySymbolic("x", size(10, 5), (i,j) -> i < j ? dom("red","green","blue") : dom("yellow","orange"), "x[i][j] is the color of the jth rabbit at the ith hole");
- Parameters:
id
- the id (unique name) of the arraysize
- the size (length of each dimension) of the arrayf
- a function that associates a symbolic domain with any possible index(i,j)
of a variable in the arraynote
- a short comment about the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 2-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[][] arraySymbolic(String id, Size.Size2D size, FunctionalInterfaces.Intx2ToDomSymbolic f, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, and classes. Use Methodsize(int,int)
for building the size (length of each dimension) of the array. The specified functionf
associates a symbolic domain with each variable at index(i,j)
of the array. In case the specified functionf
return the valuenull
, the variable is not built. In the following example, some variables have a domain containing 10 values whereas others have a domain containing two values only:VarSymbolic[][] = arraySymbolic("x", size(10, 5), (i,j) -> i < j ? dom("red","green","blue") : dom("yellow","orange"));
- Parameters:
id
- the id (unique name) of the arraysize
- the size (length of each dimension) of the arrayf
- a function that associates a symbolic domain with any possible index(i,j)
of a variable in the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 2-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[][] arraySymbolic(String id, Size.Size2D size, Domains.DomSymbolic dom, String note, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, domain, note (short comment) and classes. Use Methodsize(int,int)
for building the size (length of each dimension) of the array. Each variable of the array has the specified symbolic domain. In the following example, all variables have a domain containing 3 values:VarSymbolic[][] = arraySymbolic("x", size(10, 5), dom("red","green","blue"), "x[i][j] is the color of the jth rabbit at the ith hole");
- Parameters:
id
- the id (unique name) of the arraysize
- the size (length of each dimension) of the arraydom
- the domain of each variable in the arraynote
- a short comment about the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 2-dimensional array of symbolic variables
-
arraySymbolic
default IVar.VarSymbolic[][] arraySymbolic(String id, Size.Size2D size, Domains.DomSymbolic dom, Types.TypeClass... classes)
Builds a 2-dimensional array of symbolic variables with the specified id, size, domain, and classes. Use Methodsize(int,int)
for building the size (length of each dimension) of the array. Each variable of the array has the specified symbolic domain. In the following example, all variables have a domain containing 3 values:VarSymbolic[][] = arraySymbolic("x", size(10, 5), dom("red","green","blue"));
- Parameters:
id
- the id (unique name) of the arraysize
- the size (length of each dimension) of the arraydom
- the domain of each variable in the arrayclasses
- the tags (possibly, none) associated with the array- Returns:
- a 2-dimensional array of symbolic variables
-
ctrFalse
default CtrEntities.CtrEntity ctrFalse(IVar.VarSymbolic[] scp)
Builds a disentailed symbolic constraint, i.e., a special constraint that always returnsfalse
.- Parameters:
scp
- the scope of the constraint- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by means of method chaining.
-
ctrTrue
default CtrEntities.CtrEntity ctrTrue(IVar.VarSymbolic[] scp)
Builds an entailed symbolic constraint, i.e., a special constraint that always returnstrue
. For example, it may be useful to achieve some sophisticated tasks related to some forms of consistency.- Parameters:
scp
- the scope of the constraint- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by means of method chaining.
-
extension
default CtrEntities.CtrEntity extension(IVar.VarSymbolic[] scp, String[][] tuples, Boolean positive)
Builds a symbolic constraintextension
from the specified scope and the specified array of symbolic tuples, seen as either supports (whenpositive
istrue
) or conflicts (whenpositive
isfalse
). Note that you can use constantsPOSITIVE
andNEGATIVE
.- Parameters:
scp
- the scope of the constrainttuples
- the tuples defining the semantics of the constraintpositive
- boolean value indicating if the tuples are supports or conflicts- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
extension
default CtrEntities.CtrEntity extension(IVar.VarSymbolic[] scp, String[]... tuples)
Builds a symbolic constraintextension
from the specified scope and the specified array of symbolic tuples, seen as supports.- Parameters:
scp
- the scope of the constrainttuples
- the tuples defining the supports of the constraint- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
extension
default CtrEntities.CtrEntity extension(IVar.VarSymbolic[] scp, TableSymbolic table)
Builds a symbolic constraintextension
from the specified scope and the specified table, whose elements are seen as supports. An example of integer table that can be constructed istable("(a,b,a)(b,a,b)")
- Parameters:
scp
- the scope of the constrainttable
- the table containing the tuples defining the supports of the constraint- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
extension
default CtrEntities.CtrEntity extension(IVar.VarSymbolic x, String[] values, Boolean positive)
Builds a unary symbolic constraintextension
from the specified variable and the specified array of symbolic values, seen as either supports (whenpositive
istrue
) or conflicts (whenpositive
isfalse
). Note that you can use constantsPOSITIVE
andNEGATIVE
.- Parameters:
x
- the variable involved in this unary constraintvalues
- the values defining the semantics of the constraintpositive
- boolean value indicating if the values are supports or conflicts- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
extension
default CtrEntities.CtrEntity extension(IVar.VarSymbolic x, String... values)
Builds a unary symbolic constraintextension
from the specified variable and the specified array of symbolic values, seen as supports.- Parameters:
x
- the variable involved in this unary constraintvalues
- the values defining the semantics of the constraint- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
allDifferent
default CtrEntities.CtrEntity allDifferent(IVar.VarSymbolic[] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.- Parameters:
list
- the involved symbolic variables- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
allDifferent
default CtrEntities.CtrEntity allDifferent(IVar.VarSymbolic x, IVar.VarSymbolic... others)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values.- Parameters:
x
- a first symbolic variableothers
- a sequence of other symbolic variables- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
allDifferent
default CtrEntities.CtrEntity allDifferent(IVar.VarSymbolic[][] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values. Note that the specified 2-dimensional array of variables will be flattened (i.e., converted into a 1-dimensional array of variables). Do not mistake this form withallDifferentList
- Parameters:
list
- the involved symbolic variables (a 2-dimensional array)- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
allDifferent
default CtrEntities.CtrEntity allDifferent(IVar.VarSymbolic[][][] list)
Builds a constraintallDifferent
on the specified symbolic variables: the variables must all take different values. Note that the specified 3-dimensional array of variables will be flattened (i.e., converted into a 1-dimensional array of variables).- Parameters:
list
- the involved symbolic variables (a 3-dimensional array)- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
allEqual
default CtrEntities.CtrEntity allEqual(IVar.VarSymbolic... list)
Builds a constraintallEqual
on the specified symbolic variables: the variables must all take the same value. Basically, this is a modeling ease of use.- Parameters:
list
- the involved symbolic variables- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
allEqual
default CtrEntities.CtrEntity allEqual(IVar.VarSymbolic[][] list)
Builds a constraintallEqual
on the specified symbolic variables: the variables must all take the same value. Basically, this is a modeling ease of use. Note that the specified 2-dimensional array of variables will be flattened (i.e., converted into a 1-dimensional array of variables). Do not mistake this form withallEqualList
- Parameters:
list
- the involved symbolic variables (a 2-dimensional array)- Returns:
- an object
CtrEntity
that wraps the built constraint and allows us to provide note and tags by method chaining
-
-