Struct AbstractTrace 

pub struct AbstractTrace { /* private fields */ }

A trace of abstract values at program points.

Implementations

impl AbstractTrace

pub fn new() -> Self

Create an empty trace.

pub fn record(&mut self, label: &str, iv: Interval)

Record an abstract value at a program point.

pub fn at(&self, label: &str) -> Option<Interval>

Return the interval at the given label (first match).

pub fn all(&self) -> &[(String, Interval)]

Return all trace points.

pub fn len(&self) -> usize

Return the number of trace points.

pub fn is_empty(&self) -> bool

Return whether the trace is empty.

pub fn format(&self) -> String

Format the trace as a readable string.

Trait Implementations

impl Default for AbstractTrace

fn default() -> Self

Returns the “default value” for a type.