pbori_routines_dd.h File Reference

#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).

Detailed Description

Author:
Alexander Dreyer
Date:
2006-08-23

This file includes files, which define function templates related to decision diagrams. It should be loaded from pbori_routines.h only

Copyright:
(c) 2006 by The PolyBoRi Team

Function Documentation

template<class DDType , class OutputType >
BEGIN_NAMESPACE_PBORI OutputType dd_last_lexicographical_term ( const DDType &  dd,
type_tag< OutputType >   
) [inline]

Get last term (wrt. lexicographical order).

References reversed_inter_copy().

Referenced by BooleSet::lastLexicographicalTerm().

Generated on Thu Aug 5 13:34:42 2010 for PolyBoRi by  doxygen 1.6.3