ClauseBuilder (org.choco-solver-choco-solver 4.10.2 API)

java.lang.Object
- org.chocosolver.solver.constraints.nary.clauses.ClauseBuilder

```
public class ClauseBuilder
extends Object
```
A signed clause builder
Project: choco-solver.

Since:

12/10/2016.

Author:

Charles Prud'homme

Field Summary

Fields
Modifier and Type Field Description

static boolean ELIMINATE_VIEWS

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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - ELIMINATE_VIEWS
```
public static boolean ELIMINATE_VIEWS
```
- 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 to buildNogood(Model)
    
    Parameters:
    
    var - a variable
    
    set - a set of values
    
    Returns:
    
    the nogood maker
  - getInitialDomain
```
public IntIterableRangeSet getInitialDomain(IntVar var)
```
  - buildNogood
```
public void buildNogood(Model model)
```
    Build the nogood in memory and post it to model