Uses of Class
de.rwth.i2.attestor.seplog.VariableEquivalenceClass

Packages that use VariableEquivalenceClass

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

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

Methods in de.rwth.i2.attestor.seplog with parameters of type VariableEquivalenceClass

Modifier and Type	Method and Description
void	VariableEquivalenceClass.merge(VariableEquivalenceClass rhs)