z3 Namespace Reference

Typedefs
using	ContextPtr = std::shared_ptr< context >
using	ExprPtr = std::shared_ptr< expr >

Typedef Documentation

ContextPtr

typedef std::shared_ptr< context > z3::ContextPtr

ExprPtr

using z3::ExprPtr = typedef std::shared_ptr<expr>