polybori::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 polybori::CDDOperations< DDType, MonomType >

---

Member Function Documentation

template<class DDType, class MonomType>

MonomType polybori::CDDOperations< DDType, MonomType >::getMonomial

(

const DDType &

dd

)

const [inline]

template<class DDType, class MonomType>

MonomType polybori::CDDOperations< DDType, MonomType >::usedVariables

(

const DDType &

dd

)

[inline]

References polybori::cached_used_vars().

---

The documentation for this class was generated from the following file:

• CDDOperations.h