Member predicate TranslatedExpr::TranslatedConditionValue::getChildFalseSuccessor

Instruction getChildFalseSuccessor(TranslatedCondition child)