metaSMT 2
Static Public Member Functions
metaSMT::solver::Z3_Context::Z3_F2_MULTI_ARG< 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, unsigned, Z3_ast const []) FN>
struct metaSMT::solver::Z3_Context::Z3_F2_MULTI_ARG< FN >

Definition at line 395 of file Z3_Context.hpp.


Member Function Documentation

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

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