| Interface | Description |
|---|---|
| MergeRule.MergeRuleProgressListener |
| Class | Description |
|---|---|
| CloseAfterMerge |
Rule for closing a partner goal after a merge operation.
|
| CloseAfterMergeRuleBuiltInRuleApp |
Rule application class for close-after-merge rule applications.
|
| MergePartner |
A
MergePartner consists of a Goal and a
PosInOccurrence; the PosInOccurrence part indicates the
portion of the sequent in the Goal which represents the symbolic
state-program counter part. |
| MergeProcedure |
Defines a concrete merge procedure, in particular the result of merging two
terms for a given location variable in two Symbolic Execution states.
|
| MergeProcedure.ValuesMergeResult |
Encapsulates the result of a merge of values.
|
| MergeRule |
Base for implementing merge rules.
|
| MergeRuleBuiltInRuleApp |
Rule application class for merge rule applications.
|