ConnectPatternLocationToSuccessors(final PatternLocation location, final HashMap< CFGNode, Pair< PatternLocation, PatternLocation >> dictionary) | cz::muni::stanse::automatonchecker::ConnectPatternLocationToSuccessors | [inline, package] |
forceEnd() | cz::muni::stanse::codestructures::traversal::CFGvisitor | [inline, protected] |
visit(final CFGNode node, final org.dom4j.Element element) | cz::muni::stanse::automatonchecker::ConnectPatternLocationToSuccessors | [inline] |
cz::muni::stanse::codestructures::traversal::CFGvisitor::visit(CFGNode node, Element element) | cz::muni::stanse::codestructures::traversal::CFGvisitor | [pure virtual] |
visitInternal(final CFGNode node, Element element) | cz::muni::stanse::codestructures::traversal::CFGvisitor | [inline, package] |