Struct AdmittedTransfer 

pub struct AdmittedTransfer<P> { /* private fields */ }

A transfer policy that passed the public dataflow law suite.

Implementations

impl<P> AdmittedTransfer<P>

pub fn admit<S>(policy: P, samples: &[S]) -> Result<Self, LawViolation>

where S: JoinSemilattice, P: TransferPolicy<S>,

Admits a policy only when both lattice and transfer laws hold.

pub const fn fingerprint(&self) -> ValueFingerprint

Returns the stable identity captured at admission.

pub const fn policy_size(&self) -> usize

Returns the retained policy size captured at admission.

pub fn transfer<S>(&self, state: &S) -> S

where P: TransferPolicy<S>,

Applies the admitted policy.

pub const fn policy(&self) -> &P

Returns the admitted policy object.

Trait Implementations

impl<P: Clone> Clone for AdmittedTransfer<P>

fn clone(&self) -> AdmittedTransfer<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug> Debug for AdmittedTransfer<P>

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

Formats the value using the given formatter.