| Class | Description |
|---|---|
| Clause | |
| CNFFormula | |
| ConstantParam |
The constant parameter of a literal.
|
| DNFFormula | |
| HornFormula | |
| HornRule | |
| InterpretedLiteral | |
| Literal |
A literal defines a property over parameters.
|
| LiteralParam |
The parameter of a literal.
|
| LiteralSet |
A set of literals.
|
| Monom | |
| Rule | |
| Type | |
| TypeModule | |
| VariableParam |
A variable parameter of a literal.
|