metaSMT 2
Static Public Member Functions
metaSMT::solver::Boolector::Btor_F2< FN > Struct Template Reference

#include <Boolector.hpp>

List of all members.

Static Public Member Functions

static BtorExp * exec (Btor *b, BtorExp *x, BtorExp *y)

Detailed Description

template<BtorExp *(*)(Btor *, BtorExp *, BtorExp *) FN>
struct metaSMT::solver::Boolector::Btor_F2< FN >

Definition at line 265 of file Boolector.hpp.


Member Function Documentation

template<BtorExp *(*)(Btor *, BtorExp *, BtorExp *) FN>
static BtorExp* metaSMT::solver::Boolector::Btor_F2< FN >::exec ( Btor *  b,
BtorExp *  x,
BtorExp *  y 
) [inline, static]

Definition at line 266 of file Boolector.hpp.


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