Searched refs:subengine (Results 1 - 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.h28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) argument
29 : SU(subengine), SVB(SB) {}
H A DRangeConstraintManager.cpp288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) argument
289 : SimpleConstraintManager(subengine, SVB) {}
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h152 SubEngine *subengine);
H A DCoreEngine.h111 CoreEngine(SubEngine& subengine, argument
113 : SubEng(subengine), G(new ExplodedGraph()),

Completed in 1275 milliseconds