Z3
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Modules
Pages
z3
cast_ast< ast >
Public Member Functions
cast_ast< ast > Class Template Reference
C++ API
Public Member Functions
ast
operator()
(
context
&c, Z3_ast a)
Detailed Description
template<>
class z3::cast_ast< ast >
Definition at line
1824
of file
z3++.h
.
Member Function Documentation
ast
operator()
(
context
&
c
,
Z3_ast
a
)
inline
Definition at line
1826
of file
z3++.h
.
1826
{
return
ast(c, a); }
Generated on Sat Dec 28 2019 17:59:52 for Z3 by
1.8.8