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