Searched refs:Disjunct (Results 1 – 1 of 1) sorted by relevance
274 auto &Disjunct = *cast<DisjunctionValue>(&Val); in substituteBoolValue() local276 substituteBoolValue(Disjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()278 substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()