#include <polybori/pbori_defs.h>
#include <polybori/routines/pbori_func.h>
#include <polybori/diagram/CCuddDDFacade.h>
#include "BoolePolyRing.h"
Go to the source code of this file.
Namespaces | |
namespace | polybori |
Classes | |
class | polybori::BooleSet |
Defines | |
#define | PBORI_CONST_DDFUNCS(func) self func(const self& rhs) const { return self(base::func(rhs.diagram())); } |
#define | PBORI_DDFUNCS(func) self& func(const self& rhs) { base::func(rhs.diagram()); return *this; } |
#define | PBORI_CONST_DDFUNCS_IDX(func) self func(idx_type idx) const { return self(base::func(idx)); } |
#define | PBORI_DDFUNCS_IDX(func) self& func(idx_type idx) { base::func(idx); return *this; } |
Functions | |
BooleSet::ostream_type & | polybori::operator<< (BooleSet::ostream_type &os, const BooleSet &bset) |
Stream output operator. |
#define PBORI_CONST_DDFUNCS | ( | func | ) | self func(const self& rhs) const { return self(base::func(rhs.diagram())); } |
#define PBORI_CONST_DDFUNCS_IDX | ( | func | ) | self func(idx_type idx) const { return self(base::func(idx)); } |
#define PBORI_DDFUNCS | ( | func | ) | self& func(const self& rhs) { base::func(rhs.diagram()); return *this; } |
#define PBORI_DDFUNCS_IDX | ( | func | ) | self& func(idx_type idx) { base::func(idx); return *this; } |