Searched refs:NegationValue (Results 1 – 7 of 7) sorted by relevance
152 class NegationValue : public BoolValue {154 explicit NegationValue(BoolValue &SubVal) in NegationValue() function
342 llvm::DenseMap<BoolValue *, NegationValue *> NegationVals;
110 Res.first->second = &takeOwnership(std::make_unique<NegationValue>(Val)); in getOrCreateNegation()249 auto &Negation = *cast<NegationValue>(&Val); in substituteBoolValue()
220 auto *N = cast<NegationValue>(Val); in buildBooleanFormula()324 } else if (auto *N = dyn_cast<NegationValue>(Val)) { in buildBooleanFormula()
95 auto &N = cast<NegationValue>(B); in debugString()
248 Vals.push_back(std::make_unique<NegationValue>(*SubVal)); in neg()
2833 const auto *BarVal = dyn_cast_or_null<NegationValue>( in TEST()