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. |