Method initialized

gecode/flatzinc.hh:532–532

        }
      }
      bool initialized() const { return object() != nullptr; }
      OnRestartData& operator ()() {
        return *static_cast<OnRestartData*>(object());
      };