Expand description
Compute budget enforcement for solver operations.
BudgetEnforcer tracks wall-clock time, iteration count, and memory
allocation against a ComputeBudget. Solvers call
check_iteration at the top of each
iteration loop and
check_memory before any allocation that
could exceed the memory ceiling.
Budget violations are reported as SolverError::BudgetExhausted with a
human-readable reason describing which limit was hit.
Structs§
- Budget
Enforcer - Enforces wall-time, iteration, and memory budgets during a solve.