Shared pointer for SMTExprs, used by SMTSolver API.

Synopsis

Declared in <llvm/Support/SMTAPI.h>

using SMTExprRef = SMTExpr const*;

Created with MrDocs