HomeSort by relevance Sort by last modified time
    Searched defs:ConstraintManager (Results 1 - 2 of 2) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==//
29 class ConstraintManager {
31 virtual ~ConstraintManager();
65 /// all SVal values. This method returns true if the ConstraintManager can
72 ConstraintManager* CreateBasicConstraintManager(ProgramStateManager& statemgr,
74 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 24 // Give the vtable for ConstraintManager somewhere to live.
26 ConstraintManager::~ConstraintManager() {}
340 ConstraintManager &CM = SM.getConstraintManager();

Completed in 6300 milliseconds