Module org.chocosolver.solver
Class ClauseBuilder
- java.lang.Object
-
- org.chocosolver.solver.constraints.nary.clauses.ClauseBuilder
-
public class ClauseBuilder extends Object
A signed clause builderProject: choco-solver.
- Since:
- 12/10/2016.
- Author:
- Charles Prud'homme
-
-
Constructor Summary
Constructors Constructor Description ClauseBuilder(Model mModel)
Nogood builder, to ease declaration of nogoods
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
buildNogood(Model model)
Build the nogood in memory and post it to model.IntIterableRangeSet
getInitialDomain(IntVar var)
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).
-
-
-
Constructor Detail
-
ClauseBuilder
public ClauseBuilder(Model mModel)
Nogood builder, to ease declaration of nogoods- Parameters:
mModel
- model to declare the nogoods in
-
-
Method Detail
-
put
public 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). The set can be recycle only after the call tobuildNogood(Model)
- Parameters:
var
- a variableset
- a set of values- Returns:
- the nogood maker
-
buildNogood
public void buildNogood(Model model)
Build the nogood in memory and post it to model.
-
getInitialDomain
public IntIterableRangeSet getInitialDomain(IntVar var)
-
-