metaSMT git
Static Public Member Functions

metaSMT::solver::Z3_Context::Z3_F2< 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, Z3_ast y)

Detailed Description

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

Definition at line 389 of file Z3_Context.hpp.


Member Function Documentation

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

Definition at line 390 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