forceEnd() | cz::muni::stanse::codestructures::traversal::CFGPathVisitor | [inline, protected] |
onCFGchange(CFGNode from, CFGNode to) | cz::muni::stanse::codestructures::traversal::CFGPathVisitor | [inline] |
visit(List< CFGNode > path, Stack< CFGNode > cfgContext) | cz::muni::stanse::codestructures::traversal::CFGPathVisitor | [pure virtual] |
visitInternal(final List< CFGNode > path, final Stack< CFGNode > cfgContext) | cz::muni::stanse::codestructures::traversal::CFGPathVisitor | [inline, package] |