Searched refs:subengine (Results 1 – 4 of 4) sorted by relevance
28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager() argument29 : SU(subengine), SVB(SB) {} in SimpleConstraintManager()
288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() argument289 : SimpleConstraintManager(subengine, SVB) {} in RangeConstraintManager()
153 SubEngine *subengine);
113 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS) in CoreEngine() argument114 : SubEng(subengine), WList(WorkList::makeDFS()), in CoreEngine()