ROSE  0.9.9.168
Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction > Member List

This is the complete list of members for Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >, including all inherited members.

cfg() const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
Engine(const CFG &cfg, TransferFunction &xfer, MergeFunction merge=MergeFunction())Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
getFinalState(size_t cfgVertexId) const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
getFinalStates() const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
getInitialState(size_t cfgVertexId) const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
getInitialStates() const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
insertStartingVertex(size_t startVertexId, const State &initialState)Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
maxIterations() const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
maxIterations(size_t n)Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
nIterations() const Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
reset(State initialState=State())Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
runOneIteration()Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
runToFixedPoint()Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
runToFixedPoint(size_t startVertexId, const State &initialState)Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
setInitialState(size_t cfgVertexId, State state)Rose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >inline
VertexStates typedefRose::BinaryAnalysis::DataFlow::Engine< CFG, State, TransferFunction, MergeFunction >