Documentation


GRBBatch.discard()

void discard ( )

    This method instructs the Cluster Manager to remove all information related to the batch request in question, including the stored solution if available. Further queries for the associated batch request will fail with error code GRB_ERROR_DATA_NOT_AVAILABLE. Use this function with care, as the removed information can not be recovered later on.

    Example usage:

        try {
          // Request to erase input and output data related to this batch
          batch.discard();