clang  7.0.0
Public Member Functions | List of all members
clang::ento::SMTContext Class Reference

Generic base class for SMT contexts. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/SMTContext.h"

Public Member Functions

 SMTContext ()=default
 
virtual ~SMTContext ()=default
 

Detailed Description

Generic base class for SMT contexts.

Definition at line 22 of file SMTContext.h.

Constructor & Destructor Documentation

◆ SMTContext()

clang::ento::SMTContext::SMTContext ( )
default

◆ ~SMTContext()

virtual clang::ento::SMTContext::~SMTContext ( )
virtualdefault

The documentation for this class was generated from the following file: