Searched defs:RecordedAssumptions (Results 1 – 5 of 5) sorted by relevance
69 RecordedAssumptionsTy *RecordedAssumptions = nullptr; member
74 RecordedAssumptionsTy RecordedAssumptions; variable
99 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions) { in takeNonNegativeAssumption()117 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAff()
224 void polly::recordAssumption(polly::RecordedAssumptionsTy *RecordedAssumptions, in recordAssumption()
2253 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAff()2287 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAffOnly()