Documentation

Next: Batch.dispose() Up: Batch Previous: Batch.abort()

Batch.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:

        # Remove batch request from manager
        batch.discard()

---

Next: Batch.dispose() Up: Batch Previous: Batch.abort()