OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:SimpleConstraintManager
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h
1
//==
SimpleConstraintManager
.h ----------------------------------*- C++ -*--==//
24
class
SimpleConstraintManager
: public ConstraintManager {
28
SimpleConstraintManager
(SubEngine *subengine, SValBuilder &SB)
30
~
SimpleConstraintManager
() override;
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 {
68
ProgramStateRef
SimpleConstraintManager
::assume(ProgramStateRef state,
87
ProgramStateRef
SimpleConstraintManager
::assume(ProgramStateRef state,
98
SimpleConstraintManager
::assumeAuxForSymbol(ProgramStateRef State,
114
ProgramStateRef
SimpleConstraintManager
::assumeAux(ProgramStateRef state
[
all
...]
Completed in 93 milliseconds