Searched refs:isEffectiveAssumption (Results 1 – 2 of 2) sorted by relevance
2241 bool isEffectiveAssumption(isl::set Set, AssumptionSign Sign);
2041 bool Scop::isEffectiveAssumption(isl::set Set, AssumptionSign Sign) { in isEffectiveAssumption() function in Scop2060 if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign)) in trackAssumption()