Uses of Interface
de.rwth.i2.attestor.seplog.SeparationLogicListener

Packages that use SeparationLogicListener

Package	Description
de.rwth.i2.attestor.seplog	The separation logic interface of Attestor.

Uses of SeparationLogicListener in de.rwth.i2.attestor.seplog

Classes in de.rwth.i2.attestor.seplog that implement SeparationLogicListener

Modifier and Type	Class and Description
class	GrammarExtractor Creates a hyperedge replacement grammar from a parse tree for systems of inductive predicate definitions.
class	HeapConfigurationExtractor A listener to construct a HeapConfiguration from a parse tree representing a symbolic heap formula possibly with pure formulas and predicate calls.
class	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.
class	VariableExtractor Determines the equivalence classes of all variables and constants in a given symbolic heap.