Searched refs:n_basic_set (Results 1 – 4 of 4) sorted by relevance
22 ASSERT_EQ(S.n_basic_set(), 2); in TEST()
984 if (SuccDomain.n_basic_set() < MaxDisjunctsInDomain) in buildDomainsWithBranchConstraints()1064 if (SuccInvalidDomain.n_basic_set() < MaxDisjunctsInDomain) in propagateInvalidStmtDomains()2929 bool TooComplex = WrittenCtx.n_basic_set() >= MaxDisjunctsInDomain; in getNonHoistableCtx()2995 if (DomainCtx.n_basic_set() >= MaxDisjunctsInDomain) { in addInvariantLoads()3270 if (Set.n_basic_set() > RunTimeChecksMaxAccessDisjuncts) in buildMinMaxAccess()
183 if (S.n_basic_set() > MaxDisjunctsInContext) in addRangeBoundsToSet()
918 inline int n_basic_set() const;2740 inline int n_basic_set() const;6902 int basic_set_list::n_basic_set() const in n_basic_set() function15077 int set::n_basic_set() const in n_basic_set() function