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