metaSMT 2
Classes | Namespaces
metaSMT/result_wrapper.hpp File Reference
#include <boost/mpl/vector.hpp>
#include <boost/variant.hpp>
#include <boost/concept_check.hpp>
#include <boost/logic/tribool.hpp>
#include <boost/dynamic_bitset.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/is_signed.hpp>
#include <boost/optional.hpp>
#include <boost/function.hpp>
#include <vector>

Go to the source code of this file.

Classes

class  metaSMT::result_wrapper
struct  metaSMT::result_wrapper::as_vector_tribool
struct  metaSMT::result_wrapper::as_tribool
struct  metaSMT::result_wrapper::as_vector_bool
struct  metaSMT::result_wrapper::as_string
struct  metaSMT::result_wrapper::as_integer< Integer >
struct  metaSMT::result_wrapper::check_if_X

Namespaces

namespace  metaSMT
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines