llvm::SMTExprRef

Shared pointer for SMTExprs, used by SMTSolver API.

Synopsis

Declared in <llvm/Support/SMTAPI.h>

using SMTExprRef = SMTExpr const*;