Searched refs:BiconditionalValue (Results 1 – 6 of 6) sorted by relevance
195 class BiconditionalValue : public BoolValue {197 explicit BiconditionalValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in BiconditionalValue() function
345 llvm::DenseMap<std::pair<BoolValue *, BoolValue *>, BiconditionalValue *>
135 &takeOwnership(std::make_unique<BiconditionalValue>(LHS, RHS)); in getOrCreateIff()282 auto &BV = *cast<BiconditionalValue>(&Val); in substituteBoolValue()
231 auto *B = cast<BiconditionalValue>(Val); in buildBooleanFormula()350 } else if (auto *B = dyn_cast<BiconditionalValue>(Val)) { in buildBooleanFormula()
107 auto &BV = cast<BiconditionalValue>(B); in debugString()
262 std::make_unique<BiconditionalValue>(*LeftSubVal, *RightSubVal)); in iff()