Member predicate TranslatedConditionValue::getChildFalseSuccessor
Gets the instruction to be executed when child
evaluates to false
. The
successor edge kind is specified by kind
.
Instruction getChildFalseSuccessor(TranslatedCondition child, EdgeKind kind)