OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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++ -*--==//
32
class
ConstraintManager
{
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/
ProgramState.cpp
23
// Give the vtable for
ConstraintManager
somewhere to live.
25
ConstraintManager
::~
ConstraintManager
() {}
306
ConstraintManager
&CM = SM.getConstraintManager();
Completed in 52 milliseconds