Public Member Functions | |
symbol (context &c, Z3_symbol s) | |
operator Z3_symbol () const | |
Z3_symbol_kind | kind () const |
std::string | str () const |
int | to_int () const |
Public Member Functions inherited from object | |
object (context &c) | |
virtual | ~object ()=default |
context & | ctx () const |
Z3_error_code | check_error () const |
Friends | |
std::ostream & | operator<< (std::ostream &out, symbol const &s) |
Additional Inherited Members | |
Protected Attributes inherited from object | |
context * | m_ctx |
|
inline |
Definition at line 485 of file z3++.h.
Referenced by ArithSortRef::is_int(), ArithSortRef::is_real(), symbol::str(), and symbol::to_int().
|
inline |
|
inline |