metaSMT git
Static Public Member Functions

metaSMT::solver::mathsat_Context::F2< FN > Struct Template Reference

#include <mathsat_Context.hpp>

List of all members.

Static Public Member Functions

static result_type exec (msat_env e, result_type x, result_type y)

Detailed Description

template<result_type(*)(msat_env, result_type, result_type) FN>
struct metaSMT::solver::mathsat_Context::F2< FN >

Definition at line 217 of file mathsat_Context.hpp.


Member Function Documentation

template<result_type(*)(msat_env, result_type, result_type) FN>
static result_type metaSMT::solver::mathsat_Context::F2< FN >::exec ( msat_env  e,
result_type  x,
result_type  y 
) [inline, static]

Definition at line 218 of file mathsat_Context.hpp.


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