104 #ifndef CCuddNavigator_h_
105 #define CCuddNavigator_h_
171 self& incrementThen();
177 self& incrementElse();
201 bool_type isConstant()
const;
204 bool_type terminalValue()
const;
224 void incRef()
const { assert(isValid()); Cudd_Ref(pNode); }
227 void decRef()
const { assert(isValid()); Cudd_Deref(pNode); }
230 template <
class MgrType>
233 Cudd_RecursiveDerefZdd(mgr, pNode);
244 inline CCuddNavigator::value_type
249 return Cudd_Regular(pNode)->index;
254 CCuddNavigator::isConstant()
const {
258 return Cudd_IsConstant(pNode);
263 CCuddNavigator::terminalValue()
const {
266 assert(isConstant());
267 return Cudd_V(pNode);
273 CCuddNavigator::incrementThen() {
278 pNode = Cudd_T(pNode);
285 CCuddNavigator::incrementElse() {
290 pNode = Cudd_E(pNode);