public static final class Clause.Builder
extends java.lang.Object
Clause.Builder
implements a clause builder.Constructor and Description |
---|
Builder() |
Modifier and Type | Method and Description |
---|---|
void |
add(Clause clause)
Appends the specified clause to the clause.
|
void |
add(int[] vars,
boolean sign)
Appends the specified literals to the clause.
|
void |
add(int[] vars,
boolean[] signs)
Appends the specified literals to the clause.
|
void |
add(int var,
boolean sign)
Appends the specified literal to the clause.
|
Clause |
build() |
public void add(int var, boolean sign)
var
- the variable.sign
- the negation.public void add(int[] vars, boolean sign)
vars
- the variables.sign
- the negation (common for all variables).public void add(int[] vars, boolean[] signs)
vars
- the variables.signs
- the negations.public void add(Clause clause)
clause
- the clause to be added.public Clause build()