Skip to main content

Grouped

solverforge_scoring::stream::cross

Struct Grouped 

Source 
pub struct Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where
    Sc: Score,
{ /* private fields */ }

Implementations§

Source§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where S: Send + Sync + 'static, A: Clone + Send + Sync + 'static, B: Clone + Send + Sync + 'static, JK: Eq + Hash + Clone + Send + Sync + 'static, GK: Eq + Hash + Clone + Send + Sync + 'static, EA: CollectionExtract<S, Item = A>, EB: CollectionExtract<S, Item = B>, KA: Fn(&A) -> JK + Send + Sync, KB: Fn(&B) -> JK + Send + Sync, F: BiFilter<S, A, B>, GF: Fn(&A, &B) -> GK + Send + Sync, C: for<'i> Collector<(&'i A, &'i B), Value = V, Result = R, Accumulator = Acc> + Send + Sync + 'static, V: Send + Sync + 'static, R: Send + Sync + 'static, Acc: Accumulator<V, R> + Send + Sync + 'static, Sc: Score + 'static,

Source

pub fn penalize<W>( self, weight: W, ) -> GroupedBuilder<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, impl Fn(&GK, &R) -> Sc + Send + Sync, Sc>
where W: for<'w> ConstraintWeight<(&'w GK, &'w R), Sc> + Send + Sync,

Source

pub fn reward<W>( self, weight: W, ) -> GroupedBuilder<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, impl Fn(&GK, &R) -> Sc + Send + Sync, Sc>
where W: for<'w> ConstraintWeight<(&'w GK, &'w R), Sc> + Send + Sync,

Source

pub fn complement<T, ET, KT, D>( self, extractor_t: ET, key_t: KT, default_fn: D, ) -> ComplementedGrouped<S, A, B, T, JK, GK, EA, EB, ET, KA, KB, F, GF, KT, C, V, R, Acc, D, Sc>
where T: Clone + Send + Sync + 'static, ET: CollectionExtract<S, Item = T>, KT: Fn(&T) -> GK + Send + Sync, D: Fn(&T) -> R + Send + Sync,

Auto Trait Implementations§

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> Freeze for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: Freeze, EB: Freeze, KA: Freeze, KB: Freeze, F: Freeze, GF: Freeze, C: Freeze, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: Freeze,

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> RefUnwindSafe for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: RefUnwindSafe, EB: RefUnwindSafe, KA: RefUnwindSafe, KB: RefUnwindSafe, F: RefUnwindSafe, GF: RefUnwindSafe, C: RefUnwindSafe, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: RefUnwindSafe,

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> Send for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: Send, EB: Send, KA: Send, KB: Send, F: Send, GF: Send, C: Send, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: Send,

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> Sync for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: Sync, EB: Sync, KA: Sync, KB: Sync, F: Sync, GF: Sync, C: Sync, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: Sync,

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> Unpin for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: Unpin, EB: Unpin, KA: Unpin, KB: Unpin, F: Unpin, GF: Unpin, C: Unpin, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: Unpin,

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> UnsafeUnpin for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: UnsafeUnpin, EB: UnsafeUnpin, KA: UnsafeUnpin, KB: UnsafeUnpin, F: UnsafeUnpin, GF: UnsafeUnpin, C: UnsafeUnpin, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: UnsafeUnpin,

§

impl<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc> UnwindSafe for Grouped<S, A, B, JK, GK, EA, EB, KA, KB, F, GF, C, V, R, Acc, Sc>
where EA: UnwindSafe, EB: UnwindSafe, KA: UnwindSafe, KB: UnwindSafe, F: UnwindSafe, GF: UnwindSafe, C: UnwindSafe, PhantomData<(fn() -> S, fn() -> A, fn() -> B, fn() -> JK, fn() -> GK, fn() -> V, fn() -> R, fn() -> Acc, fn() -> Sc)>: UnwindSafe,

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 = !

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

fn try_from(value: U) -> Result<T, !>

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.