de.rwth.i2.attestor.seplog

Interfaces

• SeparationLogicListener
• VariableUnification

Classes

• GrammarExtractor
• HeapConfigurationExtractor
• InductivePredicatesParser
• SeparationLogicBaseListener
• SeparationLogicLexer
• SeparationLogicParser
• 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
• SymbolicHeapParser
• VariableEquivalenceClass
• VariableExtractor