solverforge-scoring 0.8.10

Incremental constraint scoring for SolverForge
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

/* Solver-facing solution traits.

Shadow updates are part of `PlanningSolution` itself: solutions override
`update_entity_shadows()` and `update_all_shadows()` when they maintain
derived or cached state. `ScoreDirector` calls those hooks directly on the
solution, so the canonical scoring path stays fully monomorphized.
*/

use solverforge_core::domain::{PlanningSolution, SolutionDescriptor};

/* Trait for solutions that can be solved using the fluent builder API.

This trait combines the remaining requirements for automatic solver wiring:
- `PlanningSolution` for score and shadow lifecycle management
- `SolutionDescriptor` for entity metadata
- entity counting for move selector iteration

Typically implemented automatically by the `#[planning_solution]` macro.
*/
pub trait SolvableSolution: PlanningSolution {
    /* Returns the solution descriptor for this type. */
    fn descriptor() -> SolutionDescriptor;

    /* Returns the entity count for a given descriptor index. */
    fn entity_count(solution: &Self, descriptor_index: usize) -> usize;
}