metaSMT git
|
#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 |