Expand description
Cost-evaluation vocabulary for branch-and-bound optimization.
The branch-and-bound search now lives in the unified kernel
([crate::solver::search::branch_and_bound]); this module owns only the
cost abstraction the optimizer plugs in — DomainCostEval and its two
implementors ([ZeroCost], [CostDomainEval]).
Traits§
- Domain
Cost Eval - Cost evaluator for domains. Passed into the optimizer so the same search
code works for both
CostDomainand plainDomain(zero cost).