PolyBoRi
Namespaces | Functions
LexOrder.cc File Reference
#include "LexOrder.h"
#include "pbori_algo.h"
#include "PBoRiOutIter.h"
#include "CIdxPath.h"
#include "PBoRiError.h"
#include "pbori_routines.h"

Namespaces

namespace  polybori

Functions

template<class CacheType , class NaviType , class DDType >
DDType polybori::dd_lex_lead (const CacheType &cache, NaviType navi, const DDType &init)

Detailed Description

Author:
Alexander Dreyer
Date:
2006-05-18

Defining lexicographical ordering.

Copyright:
(c) 2006 by The PolyBoRi Team