#include "pbori_defs.h"
#include "CDDInterface.h"
#include "pbori_func.h"
#include "BooleRing.h"

Classes
class	polybori::BooleSet
Namespaces
namespace	polybori
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.

Detailed Description

This file defines the class BooleSet, which is currently just a typedef.

Define Documentation

#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; }