public static final class NormalForm.Builder
extends java.lang.Object
NormalForm.Builder
implements a clause builder.Constructor and Description |
---|
Builder(NormalForm.Type type) |
Modifier and Type | Method and Description |
---|---|
void |
add(Clause clause)
Appends the specified clause to the normal form.
|
void |
add(NormalForm form)
Appends the clauses of the normal form specified as a parameter to this normal form.
|
NormalForm |
build() |
public Builder(NormalForm.Type type)
public void add(Clause clause)
clause
- the clause to be added.public void add(NormalForm form)
form
- the form whose clauses to be added.public NormalForm build()