HomeSort by: relevance | last modified time | path
    Searched defs:ConstraintManager (Results 1 - 1 of 1) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 1 //===- ConstraintManager.h - Constraints on symbolic values. ----*- C++ -*-===//
77 class ConstraintManager {
79 ConstraintManager() = default;
80 virtual ~ConstraintManager();
149 /// Note that a ConstraintManager is not obligated to return a concretized
176 /// to avoid infinite recursions within the ConstraintManager.
178 /// Note that this flag allows the ConstraintManager to be re-entrant,
183 /// all SVal values. This method returns true if the ConstraintManager can
194 std::unique_ptr<ConstraintManager>
198 std::unique_ptr<ConstraintManager>
    [all...]

Completed in 16 milliseconds