metaSMT git
|
#include <GraphSolver_Context.hpp>
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 |
Definition at line 19 of file GraphSolver_Context.hpp.
typedef Callee::result_type metaSMT::CallByTag< Callee, T >::result_type |
Definition at line 27 of file GraphSolver_Context.hpp.
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.
result_type metaSMT::CallByTag< Callee, T >::operator() | ( | TagT | tag | ) | const [inline] |
Definition at line 30 of file GraphSolver_Context.hpp.
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.
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.
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.
boost::any const& metaSMT::CallByTag< Callee, T >::arg |
Definition at line 77 of file GraphSolver_Context.hpp.
std::vector<T> const& metaSMT::CallByTag< Callee, T >::args |
Definition at line 76 of file GraphSolver_Context.hpp.
Callee* metaSMT::CallByTag< Callee, T >::callee [mutable] |
Definition at line 75 of file GraphSolver_Context.hpp.