solverforge-scoring 0.7.1

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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

/* Zero-erasure typed constraint infrastructure.

This module provides a fully typed constraint evaluation system where
all closures are stored as concrete generic types - no Arc, no dyn,
fully monomorphized.

# Key Benefits

- **No hot-path erasure**: Filters and weights are generic type params
- **Inline evaluation**: No boxing or downcasting per predicate call
- **Monomorphized pipelines**: Each constraint is fully specialized
*/

#[macro_use]
pub mod macros;
#[macro_use]
pub mod nary_incremental;

pub mod balance;
pub mod complemented;
pub mod cross_bi_incremental;
pub mod flattened_bi;
pub mod grouped;
pub mod if_exists;
pub mod incremental;
pub mod shared;

#[cfg(test)]
mod tests;

pub use balance::BalanceConstraint;
pub use complemented::ComplementedGroupConstraint;
pub use cross_bi_incremental::IncrementalCrossBiConstraint;
pub use flattened_bi::FlattenedBiConstraint;
pub use grouped::GroupedUniConstraint;
pub use if_exists::{ExistenceMode, IfExistsUniConstraint};
pub use incremental::IncrementalUniConstraint;
pub use nary_incremental::{
    IncrementalBiConstraint, IncrementalPentaConstraint, IncrementalQuadConstraint,
    IncrementalTriConstraint,
};