Member predicate ControlFlowGraph::ConditionNode::getATrueSuccessor

Gets a true-successor of the ConditionNode.

ControlFlowNode getATrueSuccessor()