Method hasCopy

gecode/gist/spacenode.hpp:158–161

  }

  forceinline bool
  SpaceNode::hasCopy(void) {
    return copy != nullptr;
  }

  forceinline bool
  SpaceNode::hasWorkingSpace(void) {