SeparationLogicBaseListener
This class provides an empty implementation of SeparationLogicListener,
which can be extended to create a listener which only needs to handle a subset
of the available methods. |
| SeparationLogicListener
|
| SeparationLogicParser.AtomContext |
| SeparationLogicParser.ConstantContext |
| SeparationLogicParser.FreeVariableDeclarationContext |
| SeparationLogicParser.HeapBodyContext |
| SeparationLogicParser.HeapContext |
| SeparationLogicParser.HeapHeadContext |
| SeparationLogicParser.ParameterContext |
| SeparationLogicParser.PointerContext |
| SeparationLogicParser.PredicateCallContext |
| SeparationLogicParser.PredicateSymbolContext |
| SeparationLogicParser.PureContext |
| SeparationLogicParser.SelectorContext |
| SeparationLogicParser.SidContext |
| SeparationLogicParser.SidRuleBodyContext |
| SeparationLogicParser.SidRuleContext |
| SeparationLogicParser.SidRuleHeadContext |
| SeparationLogicParser.SpatialContext |
| SeparationLogicParser.TypeContext |
| SeparationLogicParser.VariableContext |
| SeparationLogicParser.VariableDeclarationContext |
| VariableEquivalenceClass
Representation of a set of variables that refer to the same location in the heap.
|
| VariableUnification
An interface to deal with variable names in symbolic heaps, where
multiple variables may refer to the same location.
|