PolyBoRi
|
#include <BooleMonomial.h>
Public Member Functions | |
MonomType | getMonomial (const DDType &dd) const |
MonomType | usedVariables (const DDType &dd) |
|
inline |
Referenced by polybori::cached_used_vars().
|
inline |
References polybori::cached_used_vars().