solverforge-core 0.8.1

Core types and traits for SolverForge constraint solver
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
27
28
29
30

/* SolverForge Core - Core types and traits for constraint solving

This crate provides the fundamental abstractions for SolverForge:
- Score types for representing solution quality
- Domain traits for defining planning problems
- Descriptor types for runtime metadata
- Constraint types for incremental evaluation
*/

/* PhantomData<(fn() -> T, ...)> is an intentional pattern to avoid inheriting
trait bounds from phantom type parameters. Clippy's type_complexity lint
triggers on these tuples but the pattern is architecturally required.
*/
#![allow(clippy::type_complexity)]

pub mod constraint;
pub mod domain;
pub mod error;
pub mod score;

#[cfg(test)]
mod constraint_tests;

pub use constraint::{ConstraintRef, ImpactType};
pub use domain::{PlanningEntity, PlanningId, PlanningSolution, ProblemFact};
pub use error::SolverForgeError;
pub use score::{
    BendableScore, HardMediumSoftScore, HardSoftDecimalScore, HardSoftScore, ParseableScore, Score,
    ScoreParseError, SoftScore,
};