metaSMT git
Static Public Member Functions

metaSMT::solver::Z3_Context::Z3_F1< FN > Struct Template Reference

#include <Z3_Context.hpp>

List of all members.

Static Public Member Functions

static Z3_ast exec (Z3_context c, Z3_ast x)

Detailed Description

template<Z3_ast(*)(Z3_context, Z3_ast) FN>
struct metaSMT::solver::Z3_Context::Z3_F1< FN >

Definition at line 355 of file Z3_Context.hpp.


Member Function Documentation

template<Z3_ast(*)(Z3_context, Z3_ast) FN>
static Z3_ast metaSMT::solver::Z3_Context::Z3_F1< FN >::exec ( Z3_context  c,
Z3_ast  x 
) [inline, static]

Definition at line 356 of file Z3_Context.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines