Struct Snapshot 

pub struct Snapshot {
    pub exec_name: String,
    pub state_space: StateSpace,
    pub state_info: StateInfo,
    pub properties: Vec<PropertySnapshot>,
    pub log: Log,
    pub panic_message: Option<String>,
}

A snapshot of the current state of machine-check.

Provided by the backend to the frontend.

Fields

exec_name: String

state_space: StateSpace

state_info: StateInfo

properties: Vec<PropertySnapshot>

log: Log

panic_message: Option<String>

Implementations

impl Snapshot

pub fn new( exec_name: String, state_space: StateSpace, state_info: StateInfo, properties: Vec<PropertySnapshot>, log: Log, panic_message: Option<String>, ) -> Self

pub fn last_property_index(&self) -> Option<PropertyIndex>

pub fn contains_property(&self, property_index: PropertyIndex) -> bool

pub fn contains_subproperty( &self, property_index: PropertyIndex, subproperty_index: usize, ) -> bool

pub fn subproperty_labellings( &self, property_index: PropertyIndex, subproperty_index: usize, ) -> Option<&BTreeMap<StateId, ParamValuation>>

pub fn property_snapshot( &self, property_index: PropertyIndex, ) -> &PropertySnapshot

pub fn property_snapshots(&self) -> &Vec<PropertySnapshot>

Trait Implementations

impl Clone for Snapshot

fn clone(&self) -> Snapshot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Snapshot

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Snapshot

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Snapshot

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.