Struct CoverageLimits 

#[non_exhaustive]
pub struct CoverageLimits {
    pub max_vertices: usize,
    pub max_edges: usize,
    pub max_triangles: usize,
    pub max_matrix_entries: usize,
    pub max_states: usize,
    pub max_actions: usize,
    pub max_failure_sets: usize,
}

Resource limits for one relative coverage calculation.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

max_vertices: usize

Largest accepted vertex count.

max_edges: usize

Largest accepted active edge count.

max_triangles: usize

Largest accepted active triangle count.

max_matrix_entries: usize

Largest accepted dense linear-system entry count.

max_states: usize

Largest accepted state count.

max_actions: usize

Largest accepted action count.

max_failure_sets: usize

Largest failure set count checked in one plan evaluation.

Trait Implementations

impl Clone for CoverageLimits

fn clone(&self) -> CoverageLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CoverageLimits

impl Debug for CoverageLimits

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

Formats the value using the given formatter.

impl Default for CoverageLimits

fn default() -> Self

Returns the “default value” for a type.

impl Eq for CoverageLimits

impl PartialEq for CoverageLimits

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CoverageLimits