| Interface | Description |
|---|---|
| NodeChange |
Information about one modification of one node
|
| Class | Description |
|---|---|
| NodeChangeAddFormula |
Information about a formula that has been added to a node (the
position given is the position of the formula within the new
sequent)
|
| NodeChangeARFormula |
Information about a formula that has been added or removed from a
node
|
| NodeChangeJournal |
Collect changes applied to a node during a given period of time
|
| NodeChangeRemoveFormula |
Information about a formula that has been removed from a node (the
position given is the position of the formula within the new
sequent)
|
| NodeChangesHolder | |
| NodeRedundantAddChange |
An instance of this class informs the listerns if a formula has been
tried to add to the sequent
|
| NodeReplacement |
Information about a node replacing its parent after a rule
application, currently giving information about added and removed
formulas
|
| RuleAppInfo |
More specific information about a rule application (currently
information about added and removed formulas)
|