Struct CoverageSpecification 

pub struct CoverageSpecification { /* private fields */ }

Finite or affine coverage specification over PlanarCoverageModel.

Implementations

impl CoverageSpecification

pub fn new( vertex_count: usize, model: PlanarCoverageModel, modulus: u32, fence: CoverageFence, failable_vertices: Vec<usize>, failure_budget: usize, states: Vec<CoverageState>, limits: CoverageLimits, ) -> Result<Self>

Construct a finite coverage specification.

pub fn from_kinetic( filtration: &KineticFiltration, scenario: u64, model: PlanarCoverageModel, modulus: u32, fence: CoverageFence, failable_vertices: Vec<usize>, failure_budget: usize, base_vertices: Vec<usize>, limits: CoverageLimits, ) -> Result<Self>

Compile the complete affine communication threshold schedule.

pub fn vertex_count(&self) -> usize

Number of sensor labels shared by every state.

pub fn model(&self) -> PlanarCoverageModel

Declared planar coverage model.

pub fn modulus(&self) -> u32

Prime coefficient modulus.

pub fn fence(&self) -> &CoverageFence

Canonical protected fence cycle.

pub fn failable_vertices(&self) -> &[usize]

Sensors that the failure quantifier may remove.

pub fn failure_budget(&self) -> usize

Largest simultaneous failure count.

pub fn source(&self) -> &CoverageSource

Origin and completeness scope of the state list.

pub fn states(&self) -> &[CoverageState]

Canonical state list.

pub fn components( &self, actions: &[CoverageAction], ) -> Result<Vec<CoverageComponent>>

Decompose the state-action incidence relation into exact components.

Trait Implementations

impl Clone for CoverageSpecification

fn clone(&self) -> CoverageSpecification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageSpecification

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

Formats the value using the given formatter.

impl PartialEq for CoverageSpecification

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CoverageSpecification