PolyBoRi
Public Member Functions

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 >
BoolePolynomial::monom_type BoolePolynomial::usedVariables ( const DDType &  dd) [inline]

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