Uses of Interface
joeq.Compiler.Dataflow.Fact

Packages that use Fact

joeq.Compiler.Dataflow

Uses of Fact in joeq.Compiler.Dataflow

Classes in joeq.Compiler.Dataflow that implement Fact

class	BitVectorFact
class	UnionBitVectorFact UnionBitVectorFact

Methods in joeq.Compiler.Dataflow that return Fact

Fact	TransferFunction.apply(Fact f)
Fact	GenKillTransferFunction.apply(Fact f)
Fact	Problem.apply(TransferFunction tf, Fact f) Applies the transfer function to the given dataflow value, yielding another dataflow value.
Fact	LivenessAnalysis.boundary()
abstract Fact	Problem.boundary() Returns the boundary value for this dataflow problem.
Fact	ReachingDefs.boundary()
Fact	Solver.getDataflowValue(Object c) Get the dataflow value associated with the given location.
Fact	LivenessAnalysis.interior()
abstract Fact	Problem.interior() Returns the value that the interior points should be initialized to.
Fact	ReachingDefs.interior()
Fact	UnionBitVectorFact.merge(Fact that)
Fact	Fact.merge(Fact that)
abstract Fact	BitVectorFact.merge(Fact that)
Fact	Problem.merge(Fact f1, Fact f2) Combines two dataflow values, returning a new value that is the confluence of the two.

Methods in joeq.Compiler.Dataflow with parameters of type Fact

Fact	TransferFunction.apply(Fact f)
Fact	GenKillTransferFunction.apply(Fact f)
Fact	Problem.apply(TransferFunction tf, Fact f) Applies the transfer function to the given dataflow value, yielding another dataflow value.
boolean	Problem.compare(Fact f1, Fact f2) Compares two dataflow facts, returning true if they are equal and false otherwise.
boolean	Fact.equals(Fact that)
boolean	BitVectorFact.equals(Fact that)
Fact	UnionBitVectorFact.merge(Fact that)
Fact	Fact.merge(Fact that)
abstract Fact	BitVectorFact.merge(Fact that)
Fact	Problem.merge(Fact f1, Fact f2) Combines two dataflow values, returning a new value that is the confluence of the two.