Struct LawSuite 

pub struct LawSuite;

Public reusable law suite for lattice and transfer admission.

Implementations

impl LawSuite

pub fn check_lattice<S: JoinSemilattice>( samples: &[S], ) -> Result<(), LawViolation>

Checks all semilattice laws over a non-empty representative state set.

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

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

Checks deterministic, monotone, inflationary transfer over the samples.

Trait Implementations

impl Clone for LawSuite

fn clone(&self) -> LawSuite

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LawSuite

impl Debug for LawSuite

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

Formats the value using the given formatter.

impl Default for LawSuite

fn default() -> LawSuite

Returns the “default value” for a type.

impl Eq for LawSuite

impl PartialEq for LawSuite

fn eq(&self, other: &LawSuite) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LawSuite