|
Class Summary |
| Clause |
This class represents the clause logic object. |
| ClausesBase |
This class represents a base of clauses. |
| Formula |
This class represents the formula logic object. |
| FormulaeBase |
This class represents a base of general formulae |
| Literal |
This class represents a literal as it is seen in propositional logic. |
| MSS |
This class represents a maximal satisfiable set (MSS). |
| MUS |
This class represents a minimal unsatisfiable set (MUS). |
| Variable |
This class represents the concept of variable as it is seen in propositional logic. |