Searched refs:ConjunctionValue (Results 1 – 7 of 7) sorted by relevance
108 class ConjunctionValue : public BoolValue {110 explicit ConjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ConjunctionValue() function
338 llvm::DenseMap<std::pair<BoolValue *, BoolValue *>, ConjunctionValue *>
90 &takeOwnership(std::make_unique<ConjunctionValue>(LHS, RHS)); in getOrCreateConjunction()264 auto &Conjunct = *cast<ConjunctionValue>(&Val); in substituteBoolValue()
208 auto *C = cast<ConjunctionValue>(Val); in buildBooleanFormula()274 if (auto *C = dyn_cast<ConjunctionValue>(Val)) { in buildBooleanFormula()
81 auto &C = cast<ConjunctionValue>(B); in debugString()
235 std::make_unique<ConjunctionValue>(*LeftSubVal, *RightSubVal)); in conj()
2681 const auto *BazVal = dyn_cast_or_null<ConjunctionValue>( in TEST()2737 cast<ConjunctionValue>(&BazVal->getLeftSubValue()); in TEST()2791 const auto *FooVal = dyn_cast_or_null<ConjunctionValue>( in TEST()2796 cast<ConjunctionValue>(FooVal->getLeftSubValue()); in TEST()2798 cast<ConjunctionValue>(FooLeftSubVal.getLeftSubValue()); in TEST()