#include "pbori_defs.h"
#include "CTermIter.h"
#include "PBoRiOutIter.h"
#include <set>
#include <vector>
Go to the source code of this file.
Functions | |
template<class DDType , class OutputType > | |
BEGIN_NAMESPACE_PBORI OutputType | dd_last_lexicographical_term (const DDType &dd, type_tag< OutputType >) |
Get last term (wrt. lexicographical order). |
This file includes files, which define function templates related to decision diagrams. It should be loaded from pbori_routines.h only
BEGIN_NAMESPACE_PBORI OutputType dd_last_lexicographical_term | ( | const DDType & | dd, | |
type_tag< OutputType > | ||||
) | [inline] |
Get last term (wrt. lexicographical order).
dd_last_lexicographical_term
References reversed_inter_copy().
Referenced by BooleSet::firstDivisorsOf().