Trait ConstraintSet

pub trait ConstraintSet<S, Sc: Score>: Send + Sync {
    // Required methods
    fn evaluate_all(&self, solution: &S) -> Sc;
    fn constraint_count(&self) -> usize;
    fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>;
    fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>;
    fn initialize_all(&mut self, solution: &S) -> Sc;
    fn on_insert_all(&mut self, solution: &S, entity_index: usize) -> Sc;
    fn on_retract_all(&mut self, solution: &S, entity_index: usize) -> Sc;
    fn reset_all(&mut self);
}

Required Methods§

Evaluates all constraints and returns the total score.

Returns the number of constraints in this set.

Evaluates each constraint individually and returns per-constraint results.

Useful for score explanation and debugging.

Evaluates each constraint with detailed match information.

Returns per-constraint analysis including all matches with entity justifications. This enables full score explanation features.

Initializes all constraints by inserting all entities.

Must be called before using incremental methods. Returns the total score from initialization.

Called when an entity is inserted.

Returns the total score delta from all constraints.

Called when an entity is retracted.

Returns the total score delta from all constraints.

Resets all constraints for a new solving session.

Implementations on Foreign Types§

Implement ConstraintSet for an empty tuple (no constraints).

ConstraintSet

Trait ConstraintSet Copy item path

Required Methods§

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

Implementations on Foreign Types§

impl<S, Sc, C0> ConstraintSet<S, Sc> for (C0,)where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>,

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

impl<S, Sc, C0, C1> ConstraintSet<S, Sc> for (C0, C1)where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>,

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

impl<S, Sc, C0, C1, C2> ConstraintSet<S, Sc> for (C0, C1, C2)where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>, C2: IncrementalConstraint<S, Sc>,

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

impl<S, Sc, C0, C1, C2, C3> ConstraintSet<S, Sc> for (C0, C1, C2, C3)where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>, C2: IncrementalConstraint<S, Sc>, C3: IncrementalConstraint<S, Sc>,

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

impl<S, Sc, C0, C1, C2, C3, C4> ConstraintSet<S, Sc> for (C0, C1, C2, C3, C4)where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>, C2: IncrementalConstraint<S, Sc>, C3: IncrementalConstraint<S, Sc>, C4: IncrementalConstraint<S, Sc>,

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

fn reset_all(&mut self)

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

fn constraint_count(&self) -> usize

fn evaluate_each(&self, solution: &S) -> Vec<ConstraintResult<Sc>>

fn evaluate_detailed(&self, solution: &S) -> Vec<ConstraintAnalysis<Sc>>

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

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

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

Trait ConstraintSet

impl<S, Sc, C0> ConstraintSet<S, Sc> for (C0,)
where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>,

impl<S, Sc, C0, C1> ConstraintSet<S, Sc> for (C0, C1)
where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>,

impl<S, Sc, C0, C1, C2> ConstraintSet<S, Sc> for (C0, C1, C2)
where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>, C2: IncrementalConstraint<S, Sc>,

impl<S, Sc, C0, C1, C2, C3> ConstraintSet<S, Sc> for (C0, C1, C2, C3)
where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>, C2: IncrementalConstraint<S, Sc>, C3: IncrementalConstraint<S, Sc>,

impl<S, Sc, C0, C1, C2, C3, C4> ConstraintSet<S, Sc> for (C0, C1, C2, C3, C4)
where S: Send + Sync, Sc: Score, C0: IncrementalConstraint<S, Sc>, C1: IncrementalConstraint<S, Sc>, C2: IncrementalConstraint<S, Sc>, C3: IncrementalConstraint<S, Sc>, C4: IncrementalConstraint<S, Sc>,