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

Packages that use VariableUnification

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

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

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

Modifier and Type	Class and Description
class	VariableExtractor Determines the equivalence classes of all variables and constants in a given symbolic heap.

Constructors in de.rwth.i2.attestor.seplog with parameters of type VariableUnification

Constructor and Description
HeapConfigurationExtractor(Scene scene, VariableUnification variableUnification, HeapConfigurationRenaming renaming)