Handle model generation api through implementation delegates#673

Merged

baierd merged 10 commits into

handle_model_generation_api_through_impl_delegates

Jun 12, 2026

Commits on Jun 9, 2026

Add common API in AbstractProver to check inheritors for closed status
baierd
committed
Add new OptimizationProverDelegate that handled common checks of OptimizationProvers
baierd
committed
Remove common checks from Optimization Provers of Z3 and Mathsat
baierd
committed
Add implementations for getModel() and getEvaluator() in AbstractProver with new abstract methods that implement their behavior, so that the common checks are in a central class and guaranteed to b…
baierd
committed
Reduce visibility of getModelImpl() and getEvaluatorImpl() as they should not be public
baierd
committed
Remove another redundant usage of checkGenerateModels() from MathSAT
baierd
committed