metaSMT 2
|
#include <result_wrapper.hpp>
Classes | |
struct | as_integer |
struct | as_string |
struct | as_tribool |
struct | as_vector_bool |
struct | as_vector_tribool |
struct | check_if_X |
Public Types | |
typedef boost::mpl::vector < bool, std::vector < boost::logic::tribool > , std::vector< bool > , std::string, boost::logic::tribool, boost::dynamic_bitset<> > | result_types_list |
typedef boost::make_variant_over < result_types_list >::type | result_type |
typedef boost::optional < boost::function0< bool > > | Rng |
Public Member Functions | |
result_wrapper () | |
result_wrapper (result_type r) | |
result_wrapper (boost::logic::tribool t) | |
result_wrapper (bool b) | |
result_wrapper (const char *s) | |
result_wrapper (const char c) | |
result_wrapper (unsigned value, unsigned width) | |
operator std::vector< bool > () const | |
operator std::vector< boost::logic::tribool > () const | |
operator std::string () const | |
operator boost::dynamic_bitset () const | |
result_wrapper & | throw_if_X () |
result_wrapper & | randX (Rng rng=Rng()) |
template<typename Integer > | |
operator Integer () const | |
operator boost::logic::tribool () const | |
Protected Attributes | |
result_type | r |
Rng | _rng |
Friends | |
std::ostream & | operator<< (std::ostream &out, result_wrapper const &rw) |
return value wrapper
Definition at line 21 of file result_wrapper.hpp.
typedef boost::make_variant_over<result_types_list>::type metaSMT::result_wrapper::result_type |
Definition at line 333 of file result_wrapper.hpp.
typedef boost::mpl::vector< bool , std::vector<boost::logic::tribool> , std::vector<bool> , std::string , boost::logic::tribool , boost::dynamic_bitset<> > metaSMT::result_wrapper::result_types_list |
Definition at line 332 of file result_wrapper.hpp.
typedef boost::optional< boost::function0<bool> > metaSMT::result_wrapper::Rng |
Definition at line 379 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | ) | [inline] |
Definition at line 336 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | result_type | r | ) | [inline] |
Definition at line 337 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | boost::logic::tribool | t | ) | [inline] |
Definition at line 338 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | bool | b | ) | [inline] |
Definition at line 339 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | const char * | s | ) | [inline] |
Definition at line 340 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | const char | c | ) | [inline] |
Definition at line 341 of file result_wrapper.hpp.
metaSMT::result_wrapper::result_wrapper | ( | unsigned | value, |
unsigned | width | ||
) | [inline] |
Definition at line 347 of file result_wrapper.hpp.
metaSMT::result_wrapper::operator boost::dynamic_bitset | ( | ) | const [inline] |
Definition at line 363 of file result_wrapper.hpp.
metaSMT::result_wrapper::operator boost::logic::tribool | ( | ) | const [inline] |
Definition at line 392 of file result_wrapper.hpp.
metaSMT::result_wrapper::operator Integer | ( | ) | const [inline] |
Definition at line 387 of file result_wrapper.hpp.
metaSMT::result_wrapper::operator std::string | ( | ) | const [inline] |
Definition at line 359 of file result_wrapper.hpp.
metaSMT::result_wrapper::operator std::vector< bool > | ( | ) | const [inline] |
Definition at line 351 of file result_wrapper.hpp.
metaSMT::result_wrapper::operator std::vector< boost::logic::tribool > | ( | ) | const [inline] |
Definition at line 355 of file result_wrapper.hpp.
result_wrapper& metaSMT::result_wrapper::randX | ( | Rng | rng = Rng() | ) | [inline] |
Definition at line 381 of file result_wrapper.hpp.
result_wrapper& metaSMT::result_wrapper::throw_if_X | ( | ) | [inline] |
Definition at line 372 of file result_wrapper.hpp.
std::ostream& operator<< | ( | std::ostream & | out, |
result_wrapper const & | rw | ||
) | [friend] |
Definition at line 397 of file result_wrapper.hpp.
Rng metaSMT::result_wrapper::_rng [protected] |
Definition at line 406 of file result_wrapper.hpp.
result_type metaSMT::result_wrapper::r [protected] |
Definition at line 405 of file result_wrapper.hpp.