Method hasWorkingSpace

gecode/gist/spacenode.hpp:163–166

  }

  forceinline bool
  SpaceNode::hasWorkingSpace(void) {
    return copy != nullptr && Support::marked(copy);
  }

  forceinline int
  SpaceNode::getAlternative(const NodeAllocator& na) const {