| Class | Description |
|---|---|
| AbstractSideProofRule |
Provides the basic functionality of
BuiltInRule which
computes something in a side proof. |
| ModalitySideProofRule |
A
BuiltInRule which evaluates a modality in a side proof. |
| QuerySideProofRule |
A
BuiltInRule which evaluates a query in a side proof. |