CDDOperations< DDType, MonomType > Class Template Reference

#include <CDDOperations.h>

List of all members.

Public Member Functions

MonomType getMonomial (const DDType &dd) const
MonomType usedVariables (const DDType &dd)

template<class DDType, class MonomType>
class CDDOperations< DDType, MonomType >


Member Function Documentation

template<class DDType , class MonomType >
MonomType CDDOperations< DDType, MonomType >::getMonomial ( const DDType &  dd  )  const [inline]
template<class DDType , class MonomType >
MonomType CDDOperations< DDType, MonomType >::usedVariables ( const DDType &  dd  )  [inline]

References cached_used_vars().


The documentation for this class was generated from the following file:
Generated on Thu Aug 5 13:34:45 2010 for PolyBoRi by  doxygen 1.6.3