Searched refs:Conjunct (Results 1 – 1 of 1) sorted by relevance
264 auto &Conjunct = *cast<ConjunctionValue>(&Val); in substituteBoolValue() local266 substituteBoolValue(Conjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()268 substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()