15 #ifndef polybori_diagram_CDDOperations_h_
16 #define polybori_diagram_CDDOperations_h_
32 template <
class DDType,
class MonomType>
46 typedef typename DDType::navigator navigator;
47 typedef MonomType monom_type;
51 MonomType(cache_mgr.one()));
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache.
Definition: CCacheManagement.h:455
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
MonomType usedVariables(const DDType &dd)
Definition: CDDOperations.h:42
MonomType getMonomial(const DDType &dd) const
Definition: CDDOperations.h:38
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
MonomType cached_used_vars(const CacheType &cache, NaviType navi, MonomType init)
Definition: pbori_routines_misc.h:751