BalanceConstraintStream

Struct BalanceConstraintStream 

Source
pub struct BalanceConstraintStream<S, A, K, E, F, KF, Sc>
where Sc: Score,
{ /* private fields */ }
Expand description

Zero-erasure stream for building balance constraints.

Created by UniConstraintStream::balance(). Provides penalize() and reward() methods to finalize the constraint.

§Type Parameters

  • S - Solution type
  • A - Entity type
  • K - Group key type
  • E - Extractor function for entities
  • F - Filter type
  • KF - Key function (returns Option to skip unassigned entities)
  • Sc - Score type

§Example

use solverforge_scoring::stream::ConstraintFactory;
use solverforge_scoring::api::constraint_set::IncrementalConstraint;
use solverforge_core::score::SimpleScore;

#[derive(Clone)]
struct Shift { employee_id: Option<usize> }

#[derive(Clone)]
struct Solution { shifts: Vec<Shift> }

let constraint = ConstraintFactory::<Solution, SimpleScore>::new()
    .for_each(|s: &Solution| &s.shifts)
    .balance(|shift: &Shift| shift.employee_id)
    .penalize(SimpleScore::of(1000))
    .as_constraint("Balance workload");

let solution = Solution {
    shifts: vec![
        Shift { employee_id: Some(0) },
        Shift { employee_id: Some(0) },
        Shift { employee_id: Some(0) },
        Shift { employee_id: Some(1) },
    ],
};

// std_dev = 1.0, penalty = -1000
assert_eq!(constraint.evaluate(&solution), SimpleScore::of(-1000));

Implementations§

Source§

impl<S, A, K, E, F, KF, Sc> BalanceConstraintStream<S, A, K, E, F, KF, Sc>
where S: Send + Sync + 'static, A: Clone + Send + Sync + 'static, K: Clone + Eq + Hash + Send + Sync + 'static, E: Fn(&S) -> &[A] + Send + Sync, F: UniFilter<S, A>, KF: Fn(&A) -> Option<K> + Send + Sync, Sc: Score + 'static,

Source

pub fn penalize( self, base_score: Sc, ) -> BalanceConstraintBuilder<S, A, K, E, F, KF, Sc>

Penalizes imbalanced distribution with the given base score per unit std_dev.

The final score is base_score.multiply(std_dev), negated for penalty.

Source

pub fn reward( self, base_score: Sc, ) -> BalanceConstraintBuilder<S, A, K, E, F, KF, Sc>

Rewards imbalanced distribution with the given base score per unit std_dev.

The final score is base_score.multiply(std_dev).

Trait Implementations§

Source§

impl<S, A, K, E, F, KF, Sc: Score> Debug for BalanceConstraintStream<S, A, K, E, F, KF, Sc>

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<S, A, K, E, F, KF, Sc> Freeze for BalanceConstraintStream<S, A, K, E, F, KF, Sc>
where E: Freeze, F: Freeze, KF: Freeze,

§

impl<S, A, K, E, F, KF, Sc> RefUnwindSafe for BalanceConstraintStream<S, A, K, E, F, KF, Sc>

§

impl<S, A, K, E, F, KF, Sc> Send for BalanceConstraintStream<S, A, K, E, F, KF, Sc>
where E: Send, F: Send, KF: Send, S: Send, A: Send, K: Send,

§

impl<S, A, K, E, F, KF, Sc> Sync for BalanceConstraintStream<S, A, K, E, F, KF, Sc>
where E: Sync, F: Sync, KF: Sync, S: Sync, A: Sync, K: Sync,

§

impl<S, A, K, E, F, KF, Sc> Unpin for BalanceConstraintStream<S, A, K, E, F, KF, Sc>
where E: Unpin, F: Unpin, KF: Unpin, S: Unpin, A: Unpin, K: Unpin, Sc: Unpin,

§

impl<S, A, K, E, F, KF, Sc> UnwindSafe for BalanceConstraintStream<S, A, K, E, F, KF, Sc>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.