16 #ifndef polybori_groebner_contained_variables_h_
17 #define polybori_groebner_contained_variables_h_
29 typedef PBORI::CacheManager<CCacheTypes::contained_variables>
32 cache_mgr_type cache_mgr(m.
ring());
38 if (cached.
isValid())
return cache_mgr.generate(cached);
50 cache_mgr.insert(orig, r_nav);
67 typedef PBORI::CacheManager<CCacheTypes::contained_deg2>
70 cache_mgr_type cache_mgr(m.
ring());
76 if (cached.
isValid())
return cache_mgr.generate(cached);
82 cache_mgr.insert(nav,result.navigation());
90 inline std::vector<idx_type>
92 std::vector<idx_type> result;
MonomialSet contained_deg2_cudd_style(const MonomialSet &m)
Definition: contained_variables.h:63
std::vector< idx_type > contained_variables(const MonomialSet &m)
Definition: contained_variables.h:91
MonomialSet contained_variables_cudd_style(const MonomialSet &m)
Definition: contained_variables.h:25
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
BoolePolynomial Polynomial
Definition: embed.h:51
navigator navigation() const
Navigate through ZDD by incrementThen(), incrementElse(), and terminated()
Definition: CCuddDDFacade.h:455
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
self elseBranch() const
Increment in else direction.
Definition: CCuddNavigator.h:98
const ring_type & ring() const
Get reference to ring.
Definition: CCuddDDFacade.h:250
polybori::BooleSet MonomialSet
Definition: groebner_defs.h:45
bool_type isTerminated() const
Check whether end of path was reached.
Definition: CCuddNavigator.h:128
self thenBranch() const
Increment in then direction.
Definition: CCuddNavigator.h:92
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
bool_type isValid() const
Check whether *this is not the default iterator self() (NULL pointer)
Definition: CCuddNavigator.h:125
bool_type isConstant() const
Check whether constant node was reached.
Definition: CCuddNavigator.h:172
This class defines an iterator for navigating through then and else branches of ZDDs.
Definition: CCuddNavigator.h:36
self & incrementElse()
Increment in else direction.
Definition: CCuddNavigator.h:203
Definition: BooleSet.h:57