Method moveToLeaf

gecode/gist/nodevisitor.hpp:49–54

  template<class Cursor>
  forceinline void
  PostorderNodeVisitor<Cursor>::moveToLeaf(void) {
    while (c.mayMoveDownwards()) {
        c.moveDownwards();
    }
  }

  template<class Cursor>
  PostorderNodeVisitor<Cursor>::PostorderNodeVisitor(const Cursor& c0)