OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SimpleConstraintManager
(Results
1 - 4
of
4
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
1
//==
SimpleConstraintManager
.cpp --------------------------------*- C++ -*--==//
10
// This file defines
SimpleConstraintManager
, a class that holds code shared
15
#include "
SimpleConstraintManager
.h"
24
SimpleConstraintManager
::~
SimpleConstraintManager
() {}
26
bool
SimpleConstraintManager
::canReasonAbout(SVal X) const {
58
ProgramStateRef
SimpleConstraintManager
::assume(ProgramStateRef state,
66
ProgramStateRef
SimpleConstraintManager
::assume(ProgramStateRef state, Loc cond,
74
ProgramStateRef
SimpleConstraintManager
::assumeAux(ProgramStateRef state,
113
ProgramStateRef
SimpleConstraintManager
::assume(ProgramStateRef state
[
all
...]
SimpleConstraintManager.h
1
//==
SimpleConstraintManager
.h ----------------------------------*- C++ -*--==//
24
class
SimpleConstraintManager
: public ConstraintManager {
28
SimpleConstraintManager
(SubEngine *subengine, BasicValueFactory &BV)
30
virtual ~
SimpleConstraintManager
();
Android.mk
45
SimpleConstraintManager
.cpp \
RangeConstraintManager.cpp
15
#include "
SimpleConstraintManager
.h"
285
class RangeConstraintManager : public
SimpleConstraintManager
{
289
:
SimpleConstraintManager
(subengine, BVF) {}
Completed in 132 milliseconds