Uses of Interface
joeq.Compiler.Dataflow.TransferFunction

Packages that use TransferFunction

joeq.Compiler.Dataflow

Uses of TransferFunction in joeq.Compiler.Dataflow

Classes in joeq.Compiler.Dataflow that implement TransferFunction

class

GenKillTransferFunction

Methods in joeq.Compiler.Dataflow that return TransferFunction

TransferFunction	Problem.closure(TransferFunction tf) Returns the closure of the given transfer function.
TransferFunction	Problem.compose(TransferFunction tf1, TransferFunction tf2) Returns the composition of two transfer functions.
TransferFunction	LivenessAnalysis.getTransferFunction(Object e)
abstract TransferFunction	Problem.getTransferFunction(Object e) Returns the transfer function for the given code element.
TransferFunction	ReachingDefs.getTransferFunction(Object e)

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

Fact	Problem.apply(TransferFunction tf, Fact f) Applies the transfer function to the given dataflow value, yielding another dataflow value.
TransferFunction	Problem.closure(TransferFunction tf) Returns the closure of the given transfer function.
TransferFunction	Problem.compose(TransferFunction tf1, TransferFunction tf2) Returns the composition of two transfer functions.