metaSMT git
Public Types | Public Member Functions

metaSMT::Stack_emulation< Context > Struct Template Reference

#include <Stack.hpp>

List of all members.

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)

Detailed Description

template<typename Context>
struct metaSMT::Stack_emulation< Context >

Definition at line 53 of file Stack.hpp.


Member Typedef Documentation

template<typename Context >
typedef Context::result_type metaSMT::Stack_emulation< Context >::result_type

Definition at line 55 of file Stack.hpp.


Member Function Documentation

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

Definition at line 57 of file Stack.hpp.

template<typename Context >
void metaSMT::Stack_emulation< Context >::command ( stack_pop const &  ,
unsigned  howmany 
) [inline]

Definition at line 85 of file Stack.hpp.

template<typename Context >
void metaSMT::Stack_emulation< Context >::command ( stack_push const &  ,
unsigned  howmany 
) [inline]

Definition at line 78 of file Stack.hpp.

template<typename Context >
bool metaSMT::Stack_emulation< Context >::solve ( ) [inline]

Definition at line 66 of file Stack.hpp.


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