Struct Header 

pub struct Header {
    pub max_var_index: usize,
    pub input_count: usize,
    pub latch_count: usize,
    pub output_count: usize,
    pub and_gate_count: usize,
    pub bad_state_property_count: usize,
    pub invariant_constraint_count: usize,
    pub justice_property_count: usize,
    pub fairness_constraint_count: usize,
}

Fields

max_var_index: usize

input_count: usize

latch_count: usize

output_count: usize

and_gate_count: usize

bad_state_property_count: usize

invariant_constraint_count: usize

justice_property_count: usize

fairness_constraint_count: usize

Trait Implementations

impl Clone for Header

fn clone(&self) -> Header

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Header

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

Formats the value using the given formatter.