PolyBoRi
|
#include <polybori/pbori_defs.h>
#include <polybori/iterators/CTermIter.h>
#include <polybori/iterators/PBoRiOutIter.h>
#include <set>
#include <vector>
Go to the source code of this file.
Namespaces | |
namespace | polybori |
Functions | |
template<class DDType , class OutputType > | |
OutputType | polybori::dd_last_lexicographical_term (const DDType &dd, type_tag< OutputType >) |
Get last term (wrt. lexicographical order). More... | |
This file includes files, which define function templates related to decision diagrams. It should be loaded from pbori_routines.h only