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