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.
|
RuleSet<T extends Rule<?,?>> |
This class represents a set of rules and provides several
auxiliary methods for accessing such a set.
|