Struct TemporalComplexity 

pub struct TemporalComplexity {
    pub temporal_depth: usize,
    pub temporal_op_count: usize,
    pub until_count: usize,
    pub release_count: usize,
    pub next_count: usize,
    pub has_fairness: bool,
}

Temporal logic complexity metrics.

Fields

temporal_depth: usize

Maximum nesting depth of temporal operators

temporal_op_count: usize

Number of temporal operators

until_count: usize

Number of Until operators (most expensive)

release_count: usize

Number of Release operators

next_count: usize

Number of Next operators (least expensive)

has_fairness: bool

Whether formula contains fairness constraints

Trait Implementations

impl Clone for TemporalComplexity

fn clone(&self) -> TemporalComplexity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TemporalComplexity

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

Formats the value using the given formatter.

impl Default for TemporalComplexity

fn default() -> TemporalComplexity

Returns the “default value” for a type.