metaSMT 2
Public Types | Public Member Functions | Public Attributes
metaSMT::CallByTag< Callee, T > Struct Template Reference

#include <GraphSolver_Context.hpp>

List of all members.

Public Types

typedef Callee::result_type result_type

Public Member Functions

 CallByTag (Callee *callee, std::vector< T > const &args, boost::any const &arg)
template<typename TagT >
result_type operator() (TagT tag) const
result_type operator() (metaSMT::logic::QF_BV::tag::extract_tag tag) const
result_type operator() (metaSMT::logic::QF_BV::tag::zero_extend_tag tag) const
result_type operator() (metaSMT::logic::QF_BV::tag::sign_extend_tag tag) const

Public Attributes

Callee * callee
std::vector< T > const & args
boost::any const & arg

Detailed Description

template<typename Callee, typename T>
struct metaSMT::CallByTag< Callee, T >

Definition at line 20 of file GraphSolver_Context.hpp.


Member Typedef Documentation

template<typename Callee, typename T>
typedef Callee::result_type metaSMT::CallByTag< Callee, T >::result_type

Definition at line 25 of file GraphSolver_Context.hpp.


Constructor & Destructor Documentation

template<typename Callee, typename T>
metaSMT::CallByTag< Callee, T >::CallByTag ( Callee *  callee,
std::vector< T > const &  args,
boost::any const &  arg 
) [inline]

Definition at line 21 of file GraphSolver_Context.hpp.


Member Function Documentation

template<typename Callee, typename T>
template<typename TagT >
result_type metaSMT::CallByTag< Callee, T >::operator() ( TagT  tag) const [inline]

Definition at line 28 of file GraphSolver_Context.hpp.

template<typename Callee, typename T>
result_type metaSMT::CallByTag< Callee, T >::operator() ( metaSMT::logic::QF_BV::tag::sign_extend_tag  tag) const [inline]

Definition at line 65 of file GraphSolver_Context.hpp.

template<typename Callee, typename T>
result_type metaSMT::CallByTag< Callee, T >::operator() ( metaSMT::logic::QF_BV::tag::zero_extend_tag  tag) const [inline]

Definition at line 57 of file GraphSolver_Context.hpp.

template<typename Callee, typename T>
result_type metaSMT::CallByTag< Callee, T >::operator() ( metaSMT::logic::QF_BV::tag::extract_tag  tag) const [inline]

Definition at line 48 of file GraphSolver_Context.hpp.


Member Data Documentation

template<typename Callee, typename T>
boost::any const& metaSMT::CallByTag< Callee, T >::arg

Definition at line 75 of file GraphSolver_Context.hpp.

template<typename Callee, typename T>
std::vector<T> const& metaSMT::CallByTag< Callee, T >::args

Definition at line 74 of file GraphSolver_Context.hpp.

template<typename Callee, typename T>
Callee* metaSMT::CallByTag< Callee, T >::callee [mutable]

Definition at line 73 of file GraphSolver_Context.hpp.


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