public class ClauseBuilder extends Object
Project: choco-solver.
Modifier and Type | Field and Description |
---|---|
static boolean |
ELIMINATE_VIEWS |
Constructor and Description |
---|
ClauseBuilder(Model mModel)
Nogood builder, to ease declaration of nogoods
|
Modifier and Type | Method and 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).
|
public ClauseBuilder(Model mModel)
mModel
- model to declare the nogoods inpublic ClauseBuilder put(IntVar var, IntIterableRangeSet set)
buildNogood(Model)
var
- a variableset
- a set of valuespublic IntIterableRangeSet getInitialDomain(IntVar var)
public void buildNogood(Model model)
Copyright © 2018. All rights reserved.