metaSMT git
Classes | Namespaces | Typedefs | Functions

metaSMT/Group_Context.hpp File Reference

#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_Context< Solver >
struct  metaSMT::features::supports< Group_Context< Context >, group_api >
struct  metaSMT::features::supports< Group_Context< 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
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines