clang
8.0.0
|
Go to the source code of this file.
Classes | |
class | clang::ento::SMTExpr |
Generic base class for SMT exprs. More... | |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
using | clang::ento::SMTExprRef = std::shared_ptr< SMTExpr > |
Shared pointer for SMTExprs, used by SMTSolver API. More... | |