Searched refs:subengine (Results 1 – 5 of 5) sorted by relevance
68 SubEngine &subengine);70 SubEngine &subengine);
101 CoreEngine(SubEngine& subengine) in CoreEngine() argument102 : SubEng(subengine), G(new ExplodedGraph()), in CoreEngine()109 CoreEngine(WorkList* wlist, SubEngine& subengine) in CoreEngine() argument110 : SubEng(subengine), G(new ExplodedGraph()), WList(wlist), in CoreEngine()
27 SimpleConstraintManager(SubEngine &subengine) : SU(subengine) {} in SimpleConstraintManager() argument
55 BasicConstraintManager(GRStateManager &statemgr, SubEngine &subengine) in BasicConstraintManager() argument56 : SimpleConstraintManager(subengine), in BasicConstraintManager()102 SubEngine &subengine) { in CreateBasicConstraintManager() argument103 return new BasicConstraintManager(statemgr, subengine); in CreateBasicConstraintManager()
210 RangeConstraintManager(SubEngine &subengine) in RangeConstraintManager() argument211 : SimpleConstraintManager(subengine) {} in RangeConstraintManager()