metaSMT 2
Classes | Namespaces | Functions
metaSMT/API/Stack.hpp File Reference
#include "../impl/_var_id.hpp"
#include "../tags/Logic.hpp"
#include "../Features.hpp"
#include <cstdio>
#include <vector>
#include <list>
#include <boost/any.hpp>
#include <boost/foreach.hpp>
#include <boost/tr1/unordered_map.hpp>
#include <boost/mpl/assert.hpp>

Go to the source code of this file.

Classes

struct  metaSMT::features::stack_api
struct  metaSMT::stack_push
struct  metaSMT::stack_pop
struct  metaSMT::Stack_emulation< Context >
struct  metaSMT::Stack< Context >
struct  metaSMT::features::supports< Stack< Context >, features::stack_api >
struct  metaSMT::features::supports< Stack< Context >, Feature >

Namespaces

namespace  metaSMT
namespace  metaSMT::features

Functions

template<typename Context >
boost::enable_if
< features::supports< Context,
features::stack_api > >::type 
metaSMT::push (Context &ctx, unsigned howmany=1)
 assertion stack push funtion
template<typename Context >
boost::enable_if
< features::supports< Context,
features::stack_api > >::type 
metaSMT::pop (Context &ctx, unsigned howmany=1)
 assertion stack pop funtion
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines