15 #ifndef polybori_BlockDegLexOrder_h_ 16 #define polybori_BlockDegLexOrder_h_ 66 #endif // polybori_BlockDegLexOrder_h_ This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
~BlockDegLexOrder()
Destructor.
Definition: BlockDegLexOrder.h:50
std::less< idx_type > idx_comparer_type
Define binary predicate for index comparision.
Definition: BlockDegLexOrder.h:41
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacad...
Definition: CBlockOrderingFacade.h:28
short int comp_type
Type for comparisons.
Definition: pbori_defs.h:237
Definition: COrderingBase.h:43
BlockDegLexOrder()
Default Constructor.
Definition: BlockDegLexOrder.h:44
BlockDegLexOrder(const self &rhs)
Copy Constructor.
Definition: BlockDegLexOrder.h:47
int idx_type
Type for indices.
Definition: pbori_defs.h:228
This class defines ordering related functions.
Definition: BlockDegLexOrder.h:32
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50