|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.
// Request to erase input and output data related to this batch batch.discard();