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()
152 SubEngine *subengine);
111 CoreEngine(SubEngine& subengine, in CoreEngine() argument113 : SubEng(subengine), G(new ExplodedGraph()), in CoreEngine()