metaSMT git
|
#include <Group_Context.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_Context () | |
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) |
Definition at line 69 of file Group_Context.hpp.
typedef std::tr1::unordered_map< guard_type, result_type > metaSMT::Group_Context< Solver >::guard_map_t |
Definition at line 72 of file Group_Context.hpp.
typedef Solver::result_type metaSMT::Group_Context< Solver >::result_type |
Definition at line 71 of file Group_Context.hpp.
typedef guard_map_t::value_type metaSMT::Group_Context< Solver >::value_pair |
Definition at line 73 of file Group_Context.hpp.
metaSMT::Group_Context< Solver >::Group_Context | ( | ) | [inline] |
Definition at line 75 of file Group_Context.hpp.
void metaSMT::Group_Context< Solver >::assertion | ( | result_type const & | e | ) | [inline] |
Definition at line 82 of file Group_Context.hpp.
void metaSMT::Group_Context< Solver >::assumption | ( | result_type const & | e | ) | [inline] |
Definition at line 90 of file Group_Context.hpp.
void metaSMT::Group_Context< Solver >::command | ( | group_change const & | , |
guard_type | guard | ||
) | [inline] |
Definition at line 135 of file Group_Context.hpp.
void metaSMT::Group_Context< Solver >::command | ( | group_delete const & | , |
guard_type | guard | ||
) | [inline] |
Definition at line 119 of file Group_Context.hpp.
guard_type metaSMT::Group_Context< Solver >::command | ( | group_create const & | ) | [inline] |
Definition at line 108 of file Group_Context.hpp.
guard_type metaSMT::Group_Context< Solver >::command | ( | group_current const & | ) | const [inline] |
Definition at line 130 of file Group_Context.hpp.
bool metaSMT::Group_Context< Solver >::solve | ( | ) | [inline] |
Definition at line 98 of file Group_Context.hpp.