metaSMT 2
Classes | Public Types | Public Member Functions | Protected Attributes | Friends
metaSMT::result_wrapper Class Reference

#include <result_wrapper.hpp>

List of all members.

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_wrapperthrow_if_X ()
result_wrapperrandX (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)

Detailed Description

return value wrapper

Definition at line 21 of file result_wrapper.hpp.


Member Typedef Documentation

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.


Constructor & Destructor Documentation

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.


Member Function Documentation

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.

template<typename Integer >
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.


Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  out,
result_wrapper const &  rw 
) [friend]

Definition at line 397 of file result_wrapper.hpp.


Member Data Documentation

Definition at line 406 of file result_wrapper.hpp.

Definition at line 405 of file result_wrapper.hpp.


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