Searched defs:ConstraintManager (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==//
32 class ConstraintManager { class in namespace:clang::ento
34 virtual ~ConstraintManager();
64 /// all SVal values. This method returns true if the ConstraintManager can
71 ConstraintManager* CreateBasicConstraintManager(ProgramStateManager& statemgr,
73 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp23 // Give the vtable for ConstraintManager somewhere to live.
25 ConstraintManager::~ConstraintManager() {}
306 ConstraintManager &CM = SM.getConstraintManager();

Completed in 41 milliseconds