metaSMT git
Classes | Public Types | Public Member Functions | Public Attributes

metaSMT::CallByTag< Callee, T > Struct Template Reference

#include <GraphSolver_Context.hpp>

List of all members.

Classes

struct  assertion_cmd
struct  assumption_cmd

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 19 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 27 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 20 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 30 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 67 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 59 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 50 of file GraphSolver_Context.hpp.


Member Data Documentation

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

Definition at line 77 of file GraphSolver_Context.hpp.

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

Definition at line 76 of file GraphSolver_Context.hpp.

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

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