-/// Position::saveState() copies the content of the current state
-/// inside startState and makes st point to it. This is needed
-/// when the st pointee could become stale, as example because
-/// the caller is about to going out of scope.
-
-void Position::saveState() {
-
- startState = *st;
- st = &startState;
- st->previous = NULL; // as a safe guard
-}
-
-