Method backtrack

gecode/gist/nodevisitor.hpp:84–95

  template<class Cursor>
  forceinline bool
  PreorderNodeVisitor<Cursor>::backtrack(void) {
    while (! c.mayMoveSidewards() && c.mayMoveUpwards()) {
      c.moveUpwards();
    }
    if (! c.mayMoveUpwards()) {
      return false;
    } else {
      c.moveSidewards();
    }
    return true;
  }

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