PolyBoRi
|
#include <polybori/LexOrder.h>
#include <polybori/routines/pbori_algo.h>
#include <polybori/iterators/PBoRiOutIter.h>
#include <polybori/except/PBoRiError.h>
#include <polybori/routines/pbori_routines.h>
Namespaces | |
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.