Package ru.ispras.fortress.logic
Class NormalForm.Builder
- java.lang.Object
-
- ru.ispras.fortress.logic.NormalForm.Builder
-
- Enclosing class:
- NormalForm
public static final class NormalForm.Builder extends java.lang.Object
NormalForm.Builder
implements a clause builder.
-
-
Constructor Summary
Constructors Constructor Description Builder(NormalForm.Type type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Constructor Detail
-
Builder
public Builder(NormalForm.Type type)
-
-
Method Detail
-
add
public void add(Clause clause)
Appends the specified clause to the normal form.- Parameters:
clause
- the clause to be added.
-
add
public void add(NormalForm form)
Appends the clauses of the normal form specified as a parameter to this normal form.- Parameters:
form
- the form whose clauses to be added.
-
build
public NormalForm build()
-
-