clang
7.0.0
|
#include "clang/Basic/TargetInfo.h"
Go to the source code of this file.
Classes | |
class | clang::ento::SMTSort |
Generic base class for SMT sorts. More... | |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
using | clang::ento::SMTSortRef = std::shared_ptr< SMTSort > |
Shared pointer for SMTSorts, used by SMTSolver API. More... | |