public static final class IntegerFormula.Builder<V> extends IntegerFormulaBuilder<V>
IntegerFormula.Builder
is a IntegerFormula
builder.Constructor and Description |
---|
IntegerFormula.Builder()
Constructs a formula builder.
|
IntegerFormula.Builder(IntegerFormula.Builder<V> rhs)
Constructs a copy of the formula builder.
|
Modifier and Type | Method and Description |
---|---|
void |
addClause(IntegerClause<V> clause)
Adds the clause to the formula.
|
IntegerFormula<V> |
build()
Builds a formula.
|
void |
clear()
Removes all clauses.
|
IntegerFormula.Builder<V> |
clone() |
java.util.Collection<IntegerClause<V>> |
getClauses()
Return the current clauses of the formula being built.
|
int |
size()
Returns the current number of clauses in the formula being built.
|
addClauses, addConstraint, addEquation, addEquation, addEquation, addFormula
public IntegerFormula.Builder()
public IntegerFormula.Builder(IntegerFormula.Builder<V> rhs)
rhs
- the formula builder to be copied.public int size()
public java.util.Collection<IntegerClause<V>> getClauses()
public void clear()
public void addClause(IntegerClause<V> clause)
IntegerFormulaBuilder
addClause
in class IntegerFormulaBuilder<V>
clause
- the clause to be added.public IntegerFormula.Builder<V> clone()
clone
in class IntegerFormulaBuilder<V>
public IntegerFormula<V> build()