metaSMT 2
Public Types | Public Member Functions
metaSMT::Group< Solver > Struct Template Reference

#include <Group.hpp>

List of all members.

Public Types

typedef Solver::result_type result_type
typedef
std::tr1::unordered_map
< guard_type, result_type
guard_map_t
typedef guard_map_t::value_type value_pair

Public Member Functions

 Group ()
void assertion (result_type const &e)
void assumption (result_type const &e)
bool solve ()
guard_type command (group_create const &)
void command (group_delete const &, guard_type guard)
guard_type command (group_current const &) const
void command (group_change const &, guard_type guard)

Detailed Description

template<typename Solver>
struct metaSMT::Group< Solver >

Definition at line 69 of file Group.hpp.


Member Typedef Documentation

template<typename Solver >
typedef std::tr1::unordered_map< guard_type, result_type > metaSMT::Group< Solver >::guard_map_t

Definition at line 72 of file Group.hpp.

template<typename Solver >
typedef Solver::result_type metaSMT::Group< Solver >::result_type

Definition at line 71 of file Group.hpp.

template<typename Solver >
typedef guard_map_t::value_type metaSMT::Group< Solver >::value_pair

Definition at line 73 of file Group.hpp.


Constructor & Destructor Documentation

template<typename Solver >
metaSMT::Group< Solver >::Group ( ) [inline]

Definition at line 75 of file Group.hpp.


Member Function Documentation

template<typename Solver >
void metaSMT::Group< Solver >::assertion ( result_type const &  e) [inline]

Definition at line 82 of file Group.hpp.

template<typename Solver >
void metaSMT::Group< Solver >::assumption ( result_type const &  e) [inline]

Definition at line 90 of file Group.hpp.

template<typename Solver >
void metaSMT::Group< Solver >::command ( group_change const &  ,
guard_type  guard 
) [inline]

Definition at line 135 of file Group.hpp.

template<typename Solver >
void metaSMT::Group< Solver >::command ( group_delete const &  ,
guard_type  guard 
) [inline]

Definition at line 119 of file Group.hpp.

template<typename Solver >
guard_type metaSMT::Group< Solver >::command ( group_create const &  ) [inline]

Definition at line 108 of file Group.hpp.

template<typename Solver >
guard_type metaSMT::Group< Solver >::command ( group_current const &  ) const [inline]

Definition at line 130 of file Group.hpp.

template<typename Solver >
bool metaSMT::Group< Solver >::solve ( ) [inline]

Definition at line 98 of file Group.hpp.


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