Z3
Loading...
Searching...
No Matches
z3
cast_ast< ast >
Public Member Functions
cast_ast< ast > Class Reference
#include <
z3++.h
>
Public Member Functions
ast
operator()
(
context
&c, Z3_ast a)
Detailed Description
Definition at line
2283
of file
z3++.h
.
Member Function Documentation
◆
operator()()
ast
operator()
(
context
&
c
,
Z3_ast
a
)
inline
Definition at line
2285
of file
z3++.h
.
2285
{
return
ast(c, a); }
Generated by
1.12.0