metaSMT 2
|
#include <Stack.hpp>
Public Types | |
typedef Context::result_type | result_type |
Public Member Functions | |
void | assertion (result_type const &e) |
bool | solve () |
void | command (stack_push const &, unsigned howmany) |
void | command (stack_pop const &, unsigned howmany) |
typedef Context::result_type metaSMT::Stack_emulation< Context >::result_type |
void metaSMT::Stack_emulation< Context >::assertion | ( | result_type const & | e | ) | [inline] |
void metaSMT::Stack_emulation< Context >::command | ( | stack_pop const & | , |
unsigned | howmany | ||
) | [inline] |
void metaSMT::Stack_emulation< Context >::command | ( | stack_push const & | , |
unsigned | howmany | ||
) | [inline] |
bool metaSMT::Stack_emulation< Context >::solve | ( | ) | [inline] |