metaSMT 2
|
#include <Group.hpp>
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) |
typedef std::tr1::unordered_map< guard_type, result_type > metaSMT::Group< Solver >::guard_map_t |
typedef Solver::result_type metaSMT::Group< Solver >::result_type |
typedef guard_map_t::value_type metaSMT::Group< Solver >::value_pair |
metaSMT::Group< Solver >::Group | ( | ) | [inline] |
void metaSMT::Group< Solver >::assertion | ( | result_type const & | e | ) | [inline] |
void metaSMT::Group< Solver >::assumption | ( | result_type const & | e | ) | [inline] |
void metaSMT::Group< Solver >::command | ( | group_change const & | , |
guard_type | guard | ||
) | [inline] |
void metaSMT::Group< Solver >::command | ( | group_delete const & | , |
guard_type | guard | ||
) | [inline] |
guard_type metaSMT::Group< Solver >::command | ( | group_create const & | ) | [inline] |
guard_type metaSMT::Group< Solver >::command | ( | group_current const & | ) | const [inline] |
bool metaSMT::Group< Solver >::solve | ( | ) | [inline] |