Skip to main content

solverforge_scoring/constraint/
mod.rs

1/* Zero-erasure typed constraint infrastructure.
2
3This module provides a fully typed constraint evaluation system where
4all closures are stored as concrete generic types - no Arc, no dyn,
5fully monomorphized.
6
7# Key Benefits
8
9- **No hot-path erasure**: Filters and weights are generic type params
10- **Inline evaluation**: No boxing or downcasting per predicate call
11- **Monomorphized pipelines**: Each constraint is fully specialized
12*/
13
14#[macro_use]
15pub mod macros;
16#[macro_use]
17pub mod nary_incremental;
18
19pub mod balance;
20pub mod complemented;
21pub mod cross_bi_incremental;
22pub mod flattened_bi;
23pub mod grouped;
24pub mod if_exists;
25pub mod incremental;
26pub mod shared;
27
28#[cfg(test)]
29mod tests;
30
31pub use balance::BalanceConstraint;
32pub use complemented::ComplementedGroupConstraint;
33pub use cross_bi_incremental::IncrementalCrossBiConstraint;
34pub use flattened_bi::FlattenedBiConstraint;
35pub use grouped::GroupedUniConstraint;
36pub use if_exists::{ExistenceMode, IfExistsUniConstraint};
37pub use incremental::IncrementalUniConstraint;
38pub use nary_incremental::{
39    IncrementalBiConstraint, IncrementalPentaConstraint, IncrementalQuadConstraint,
40    IncrementalTriConstraint,
41};