Struct DiscountedFuser 

pub struct DiscountedFuser { /* private fields */ }

Generic fusion engine based on exact computation, but with mass discounting when above a given range

• Mass discounting is performed by iteratively putting the mass of the weakest assigments on their disjunction

Implementations

impl DiscountedFuser

pub fn new(range: RangeInclusive<usize>) -> Self

Constructor of the fusion engine

• range: RangeInclusive<usize> : range within which the fused assignment size will be reduced after discounting
• Output: fusion engine

Trait Implementations

impl Archive for DiscountedFuser

where u32slx: Archive,

type Archived = ArchivedDiscountedFuser

The archived representation of this type.

type Resolver = DiscountedFuserResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

unsafe fn resolve( &self, pos: usize, resolver: Self::Resolver, out: *mut Self::Archived, )

Creates the archived version of this value at the given position and writes it to the given output.

impl Clone for DiscountedFuser

fn clone(&self) -> DiscountedFuser

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DiscountedFuser

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DiscountedFuser

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<__D: Fallible + ?Sized> Deserialize<DiscountedFuser, __D> for Archived<DiscountedFuser>

where u32slx: Archive, Archived<u32slx>: Deserialize<u32slx, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<DiscountedFuser, __D::Error>

Deserializes using the given deserializer

impl DiscountedFusion for DiscountedFuser

fn size_range(&self) -> RangeInclusive<usize>

Range defining an hysteresis for assignment reduction

fn fuse<L, F>( &self, lattice: &L, referee: &F, bbas: &[&Assignment<L::Item>], ) -> Result<(Assignment<L::Item>, f64slx), String>

where L: Lattice, L::Item: Eq + Ord + Hash, F: Referee,

Fusing bbas returning fused assignment and conflict

fn fuse_seq<L, F, I>( &self, lattice: &L, referees: &[&F], slice_bbas: &[&[&Assignment<L::Item>]], ) -> Result<I::Type<(Assignment<L::Item>, f64slx)>, String>

where L: Lattice, L::Item: Eq + Ord + Hash, F: Referee, I: CollectionFamily1,

fusing bbas sequentially returning collected fused assignments and conflicts

impl HashedTypeDef for DiscountedFuser

where (): HashedTypeDef,

const TYPE_HASH_NATIVE: u128 = 11_459_513_767_327_987_241_781_030_199_495_610_047u128

native hash computation

const TYPE_HASH_LE: u128 = _

hash encoded to little endianess

const TYPE_HASH_BE: u128 = _

hash encoded to big endianess

const UUID: Uuid = _

hash encoded to Uuid

impl<__S: Fallible + ?Sized> Serialize<__S> for DiscountedFuser

where u32slx: Serialize<__S>,

fn serialize(&self, serializer: &mut __S) -> Result<Self::Resolver, __S::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl Serialize for DiscountedFuser

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for DiscountedFuser