metaSMT 2
|
#include "../impl/_var_id.hpp"
#include "../tags/Logic.hpp"
#include "../Features.hpp"
#include <cstdio>
#include <vector>
#include <boost/proto/debug.hpp>
#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::group_api |
struct | metaSMT::group_change |
struct | metaSMT::group_create |
struct | metaSMT::group_delete |
struct | metaSMT::group_current |
struct | metaSMT::Group< Solver > |
struct | metaSMT::features::supports< Group< Context >, group_api > |
struct | metaSMT::features::supports< Group< Context >, Feature > |
Namespaces | |
namespace | metaSMT |
namespace | metaSMT::features |
Typedefs | |
typedef unsigned | metaSMT::guard_type |
Functions | |
template<typename Context > | |
guard_type | metaSMT::create_group (Context &ctx) |
create a new constraint group | |
template<typename Context > | |
void | metaSMT::delete_group (Context &ctx, guard_type guard) |
delete a constraint group | |
template<typename Context > | |
void | metaSMT::change_group (Context &ctx, guard_type guard) |
change the current constraint group | |
template<typename Context > | |
guard_type | metaSMT::current_group (Context &ctx) |
get the current group guard |