Class | Description |
---|---|
Clause |
Clause represents a clause, which is a set of literals. |
Clause.Builder |
Clause.Builder implements a clause builder. |
NormalForm |
This class represents a normal form, which is a set of clauses.
|
NormalForm.Builder |
NormalForm.Builder implements a clause builder. |
Orthogonalizer |
Orthogonalizer contains a set of utils dealing with disjunctive normal forms. |
Enum | Description |
---|---|
NormalForm.Type |
This enumeration contains the type of the normal form.
|