PolyBoRi
|
#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) |
Defining lexicographical ordering.