Lines Matching refs:is_subset

1016   IsStrideX = Stride.is_subset(StrideX);  in isStrideX()
1052     assert(!StmtDomain.is_subset(NewDomain).is_false() &&  in setNewAccessRelation()
1088   return !StmtDom.is_subset(AccDom);  in isLatestPartialAccess()
1111   assert(NewDomain.is_subset(Domain) &&  in restrictDomain()
1882          PositiveContext.is_subset(NegativeContext).is_false();  in hasFeasibleRuntimeContext()
1927     if (Context.is_subset(Set))  in isEffectiveAssumption()
1930     if (AssumedContext.is_subset(Set))  in isEffectiveAssumption()
1936     if (Set.is_subset(InvalidContext))  in isEffectiveAssumption()
2278     if (StmtDomain.is_subset(NewStmtDomain))  in restrictDomains()
2337   assert(Domain.is_subset(TargetDomain) &&  in addScopStmt()
2339   assert(Domain.is_subset(SourceDomain) &&  in addScopStmt()