Struct LogMetadata 

pub struct LogMetadata {
    pub total_transforms: usize,
    pub semantic_preserving: usize,
    pub with_proofs: usize,
    pub time_span: Option<Duration>,
    pub created_at: Instant,
}

Metadata about the transformation log

Fields

total_transforms: usize

Total number of transformations

semantic_preserving: usize

Number of semantic-preserving transformations

with_proofs: usize

Number of transformations with proofs

time_span: Option<Duration>

Time span of all transformations

created_at: Instant

Log creation timestamp

Trait Implementations

impl Clone for LogMetadata

fn clone(&self) -> LogMetadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogMetadata

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

Formats the value using the given formatter.

impl Default for LogMetadata

fn default() -> Self

Returns the “default value” for a type.