Uses of Class
org.chocosolver.solver.constraints.nary.clauses.ClauseBuilder
-
Packages that use ClauseBuilder Package Description org.chocosolver.solver A package devoted to Model and resolution tools.org.chocosolver.solver.constraints.nary.clauses -
-
Uses of ClauseBuilder in org.chocosolver.solver
Methods in org.chocosolver.solver that return ClauseBuilder Modifier and Type Method Description ClauseBuilder
Model. getClauseBuilder()
-
Uses of ClauseBuilder in org.chocosolver.solver.constraints.nary.clauses
Methods in org.chocosolver.solver.constraints.nary.clauses that return ClauseBuilder Modifier and Type Method Description ClauseBuilder
ClauseBuilder. put(IntVar var, IntIterableRangeSet set)
Add a literal (var ∈ set) in this, considering that the entry is only added once (no need to perform internal operations).
-