Searched refs:intersectDefinedBehavior (Results 1 – 2 of 2) sorted by relevance
1501 intersectDefinedBehavior(Context, AS_ASSUMPTION); in addParameterBounds()2010 intersectDefinedBehavior(Set, Sign); in addAssumption()2024 void Scop::intersectDefinedBehavior(isl::set Set, AssumptionSign Sign) { in intersectDefinedBehavior() function in Scop
2241 void intersectDefinedBehavior(isl::set Set, AssumptionSign Sign);