polybori::CDDOperations Class Reference

#include <CDDOperations.h>

List of all members.

Public Member Functions
MonomType	getMonomial (const DDType &dd) const
MonomType	usedVariables (const DDType &dd)

---

Member Function Documentation

MonomType polybori::CDDOperations::getMonomial

(

const DDType &

dd

)

const [inline]

Referenced by polybori::cached_used_vars().

MonomType polybori::CDDOperations::usedVariables

(

const DDType &

dd

)

[inline]

References polybori::cached_used_vars().

---

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

• CDDOperations.h