Struct IncrementalUniConstraint 

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

Zero-erasure incremental uni-constraint.

All closure types are concrete generics - no Arc, no dyn, fully monomorphized.

Implementations

impl<S, A, E, F, W, Sc> IncrementalUniConstraint<S, A, E, F, W, Sc>

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

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

Creates a new zero-erasure incremental uni-constraint.

Trait Implementations

impl<S, A, E, F, W, Sc: Score> Debug for IncrementalUniConstraint<S, A, E, F, W, Sc>

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

Formats the value using the given formatter.

impl<S, A, E, F, W, Sc> IncrementalConstraint<S, Sc> for IncrementalUniConstraint<S, A, E, F, W, Sc>

where S: Send + Sync + 'static, A: Clone + Debug + Send + Sync + 'static, E: Fn(&S) -> &[A] + Send + Sync, F: Fn(&A) -> bool + Send + Sync, W: Fn(&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).