Struct CrossBiConstraintBuilder 

pub struct CrossBiConstraintBuilder<S, A, B, K, EA, EB, KA, KB, F, W, Sc>
where
    Sc: Score,
{ /* private fields */ }

Zero-erasure builder for finalizing a cross-bi constraint.

Implementations

impl<S, A, B, K, EA, EB, KA, KB, F, W, Sc> CrossBiConstraintBuilder<S, A, B, K, EA, EB, KA, KB, F, W, Sc>

where S: Send + Sync + 'static, A: Clone + Send + Sync + 'static, B: Clone + Send + Sync + 'static, K: Eq + Hash + Clone + Send + Sync, EA: Fn(&S) -> &[A] + Send + Sync, EB: Fn(&S) -> &[B] + Send + Sync, KA: Fn(&A) -> K + Send + Sync, KB: Fn(&B) -> K + Send + Sync, F: BiFilter<S, A, B>, W: Fn(&A, &B) -> Sc + Send + Sync, Sc: Score + 'static,

pub fn as_constraint( self, name: &str, ) -> IncrementalCrossBiConstraint<S, A, B, K, EA, EB, KA, KB, impl Fn(&S, &A, &B) -> bool + Send + Sync, W, Sc>

Finalizes the builder into a zero-erasure IncrementalCrossBiConstraint.

The resulting constraint has all types fully monomorphized with key-based indexing for O(1) lookups.

Trait Implementations

impl<S, A, B, K, EA, EB, KA, KB, F, W, Sc: Score> Debug for CrossBiConstraintBuilder<S, A, B, K, EA, EB, KA, KB, F, W, Sc>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.