Uses of Class
eu.bandm.tools.lljava.absy.VariableFinder.Snapshot

Packages that use VariableFinder.Snapshot

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 VariableFinder.Snapshot in eu.bandm.tools.lljava.absy

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

Modifier and Type	Method	Description
Collection<VariableFinder.Variable>	VariableFinder.Equalizer.process(ControlFlowSynthesizer synth, VariableFinder.Snapshot initial)
(package private) void	VariableFinder.zip(EquivalenceRelation<VariableFinder.Instance> rel, VariableFinder.Snapshot s, VariableFinder.Snapshot t)

Constructors in eu.bandm.tools.lljava.absy with parameters of type VariableFinder.Snapshot

Modifier	Constructor	Description
(package private)	Snapshot(VariableFinder.Snapshot pre)