| Class | Description |
|---|---|
| CloseAfterJoin |
Rule for closing a partner goal after a join operation.
|
| CloseAfterJoinRuleBuiltInRuleApp |
Rule application class for close-after-join rule applications.
|
| JoinProcedure |
Defines a concrete join procedure, in particular the result of joining two
terms for a given location variable in two Symbolic Execution states.
|
| JoinRule |
Base for implementing join rules.
|
| JoinRuleBuiltInRuleApp |
Rule application class for join rule applications.
|