HomeSort by relevance Sort by last modified time
    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