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