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