Struct IncrementalBiConstraint 

pub struct IncrementalBiConstraint<S, A, K, E, KE, F, W, Sc>
where
    Sc: Score,
{ /* private fields */ }

Zero-erasure incremental bi-constraint for self-joins.

All function types are concrete generics - no trait objects, no Arc. Uses key-based indexing: entities are grouped by join key for O(k) lookups.

Implementations

impl<S, A, K, E, KE, F, W, Sc> IncrementalBiConstraint<S, A, K, E, KE, F, W, Sc>

where S: 'static, A: Clone + 'static, K: Eq + Hash + Clone, E: Fn(&S) -> &[A], KE: Fn(&A) -> K, F: Fn(&A, &A) -> bool, W: Fn(&A, &A) -> Sc, Sc: Score,

pub fn new( constraint_ref: ConstraintRef, impact_type: ImpactType, extractor: E, key_extractor: KE, filter: F, weight: W, is_hard: bool, ) -> Self

Trait Implementations

impl<S, A, K, E, KE, F, W, Sc: Score> Debug for IncrementalBiConstraint<S, A, K, E, KE, F, W, Sc>

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

Formats the value using the given formatter.

impl<S, A, K, E, KE, F, W, Sc> IncrementalConstraint<S, Sc> for IncrementalBiConstraint<S, A, K, E, KE, F, W, Sc>

where S: Send + Sync + 'static, A: Clone + Debug + Send + Sync + 'static, K: Eq + Hash + Clone + Send + Sync, E: Fn(&S) -> &[A] + Send + Sync, KE: Fn(&A) -> K + Send + Sync, F: Fn(&A, &A) -> bool + Send + Sync, W: Fn(&A, &A) -> Sc + Send + Sync, Sc: Score,

fn evaluate(&self, solution: &S) -> Sc

Full evaluation of this constraint.

fn match_count(&self, solution: &S) -> usize

Returns the number of matches for this constraint.

fn initialize(&mut self, solution: &S) -> Sc

Initializes internal state by inserting all entities.

fn on_insert(&mut self, solution: &S, entity_index: usize) -> Sc

Called when an entity is inserted or its variable changes.

fn on_retract(&mut self, solution: &S, entity_index: usize) -> Sc

Called when an entity is retracted or before its variable changes.

fn reset(&mut self)

Resets internal state for a new solving session.

fn name(&self) -> &str

Returns the constraint name.

fn is_hard(&self) -> bool

Returns true if this is a hard constraint.

fn constraint_ref(&self) -> ConstraintRef

Returns the constraint reference (package + name).

fn get_matches(&self, solution: &S) -> Vec<DetailedConstraintMatch<Sc>>

Returns detailed matches with entity justifications.

fn weight(&self) -> Sc

Returns the constraint weight (score per match).