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

  /external/clang/lib/StaticAnalyzer/Core/
BasicConstraintManager.cpp 1 //== BasicConstraintManager.cpp - Manage basic constraints.------*- C++ -*--==//
10 // This file defines BasicConstraintManager, a class that tracks simple
49 // BasicConstraintManager only tracks equality and inequality constraints of
51 class BasicConstraintManager
55 BasicConstraintManager(ProgramStateManager &statemgr, SubEngine &subengine)
122 return new BasicConstraintManager(statemgr, subengine);
126 BasicConstraintManager::assumeSymNE(ProgramStateRef state,
147 BasicConstraintManager::assumeSymEQ(ProgramStateRef state,
169 BasicConstraintManager::assumeSymLT(ProgramStateRef state,
184 BasicConstraintManager::assumeSymGT(ProgramStateRef state
    [all...]
Android.mk 12 BasicConstraintManager.cpp \

Completed in 6110 milliseconds