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.
|