Member predicate TranslatedBinaryConditionalExpr::getThen
Gets the TranslatedExpr
for the “then” result. Note that nothing in the base implementation
of this class assumes that getThen()
is disjoint from getCondition()
.
Gets the TranslatedExpr
for the “then” result. Note that nothing in the base implementation
of this class assumes that getThen()
is disjoint from getCondition()
.