cz::muni::stanse::lockchecker::FunctionStateSummary Member List

This is the complete list of members for cz::muni::stanse::lockchecker::FunctionStateSummary, including all inherited members.

changeVarsOccurrence(int increment, CFGNode node, State state)cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
FunctionStateSummary(Map< CFGNode, CFGHandle > dictionary, StateRepository repos, CFGNode startNode, State startState, Configuration conf)cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
getDictionary()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
getErrHolder()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
getOutputState()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
getStartNode()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
getStartState()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
getVarOccurrences()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
join(FunctionStateSummary summary, VarTransformations varTransformations)cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
setOutputState(State outputState)cz::muni::stanse::lockchecker::FunctionStateSummary [inline]
toString()cz::muni::stanse::lockchecker::FunctionStateSummary [inline]


Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6