clang
7.0.0
|
Generic base class for SMT contexts. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SMTContext.h"
Public Member Functions | |
SMTContext ()=default | |
virtual | ~SMTContext ()=default |
Generic base class for SMT contexts.
Definition at line 22 of file SMTContext.h.
|
default |
|
virtualdefault |