Searched refs:SubsumptionChecker (Results 1 – 2 of 2) sorted by relevance
1754 SubsumptionChecker SC(*this); in IsAtLeastAsConstrained()1808 SubsumptionChecker SC(*this); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1813 SubsumptionChecker SC2(*this, IdenticalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1883 SubsumptionChecker::SubsumptionChecker(Sema &SemaRef, in SubsumptionChecker() function in SubsumptionChecker1887 uint16_t SubsumptionChecker::getNewLiteralId() { in getNewLiteralId()1893 auto SubsumptionChecker::find(AtomicConstraint *Ori) -> Literal { in find()1931 auto SubsumptionChecker::find(FoldExpandedConstraint *Ori) -> Literal { in find()1948 auto SubsumptionChecker::CNF(const NormalizedConstraint &C) -> CNFFormula { in CNF()1949 return SubsumptionChecker::Normalize<CNFFormula>(C); in CNF()1951 auto SubsumptionChecker::DNF(const NormalizedConstraint &C) -> DNFFormula { in DNF()[all …]
146 class SubsumptionChecker {151 SubsumptionChecker(Sema &SemaRef, SubsumptionCallable Callable = {});