Searched defs:subengine (Results 1 – 4 of 4) sorted by relevance
27 SimpleConstraintManager(SubEngine &subengine) : SU(subengine) {} in SimpleConstraintManager()
55 BasicConstraintManager(ProgramStateManager &statemgr, SubEngine &subengine) in BasicConstraintManager()121 SubEngine &subengine) { in CreateBasicConstraintManager()
209 RangeConstraintManager(SubEngine &subengine) in RangeConstraintManager()
112 CoreEngine(SubEngine& subengine, SetOfConstDecls *VisitedCallees, in CoreEngine()