BooleSet.h File Reference

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

Go to the source code of this file.

Classes

class  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 & operator<< (BooleSet::ostream_type &os, const BooleSet &bset)
 Stream output operator.

Detailed Description

Author:
Alexander Dreyer
Date:
2006-04-20

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

Copyright:
(c) 2006 by The PolyBoRi Team

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

Function Documentation

BooleSet::ostream_type& operator<< ( BooleSet::ostream_type &  os,
const BooleSet bset 
) [inline]

Stream output operator.

References BooleSet::print().


Generated on 25 Oct 2009 for PolyBoRi by  doxygen 1.6.1