contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTContext.h

   1 //== SMTContext.h -----------------------------------------------*- C++ -*--==//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 //  This file defines a SMT generic Context API, which will be the base class
  11 //  for every SMT solver context specific class.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTCONTEXT_H
  16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTCONTEXT_H
  17
  18 namespace clang {
  19 namespace ento {
  20
  21 /// Generic base class for SMT contexts
  22 class SMTContext {
  23 public:
  24   SMTContext() = default;
  25   virtual ~SMTContext() = default;
  26 };
  27
  28 } // namespace ento
  29 } // namespace clang
  30
  31 #endif