| Interface | Description |
|---|---|
| Rule<C extends Formula,P extends Formula> |
This interface models a general rule, i.e.
|
| Class | Description |
|---|---|
| Derivation<T extends Rule<?,?>> |
This class models a derivation, i.e.
|
| DerivationGraph<F extends Formula,R extends Rule<F,F>> | |
| RuleSet<T extends Rule<?,?>> |
This class represents a set of rules and provides several
auxiliary methods for accessing such a set.
|