Uses of Class
eu.bandm.tools.ops.EquivalenceRelation

Packages that use EquivalenceRelation

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.

Uses of EquivalenceRelation in eu.bandm.tools.lljava.absy

Methods in eu.bandm.tools.lljava.absy with parameters of type EquivalenceRelation

Modifier and Type	Method	Description
(package private) void	VariableFinder.zip(EquivalenceRelation<VariableFinder.Instance> rel, VariableFinder.Snapshot s, VariableFinder.Snapshot t)