18 #ifndef polybori_iterators_CCuddNavigator_h_
19 #define polybori_iterators_CCuddNavigator_h_
89 self& incrementThen();
95 self& incrementElse();
119 bool_type isConstant()
const;
122 bool_type terminalValue()
const;
148 template <
class MgrType>
162 inline CCuddNavigator::value_type
167 return Cudd_Regular(pNode)->index;
172 CCuddNavigator::isConstant()
const {
176 return Cudd_IsConstant(pNode);
181 CCuddNavigator::terminalValue()
const {
185 return Cudd_V(pNode);
191 CCuddNavigator::incrementThen() {
196 pNode = Cudd_T(pNode);
203 CCuddNavigator::incrementElse() {
208 pNode = Cudd_E(pNode);