Struct Network 

pub struct Network {
    pub declarations: Declarations,
    pub automata: IndexMap<String, Automaton>,
    pub links: Vec<Link>,
    pub initial_states: Vec<State>,
}

Represents a network of automata.

Fields

declarations: Declarations

automata: IndexMap<String, Automaton>

links: Vec<Link>

initial_states: Vec<State>

Implementations

impl Network

pub fn global_scope(&self) -> Scope<2>

pub fn transient_scope(&self) -> Scope<1>

impl Network

pub fn get_index_of_global_variable(&self, identifier: &str) -> Option<usize>

pub fn get_index_of_transient_variable(&self, identifier: &str) -> Option<usize>

pub fn get_automaton(&self, reference: &AutomatonReference) -> &Automaton

pub fn get_location(&self, reference: &LocationReference) -> &Location

pub fn get_edge(&self, reference: &EdgeReference) -> &Edge

pub fn get_destination(&self, reference: &DestinationReference) -> &Destination

Trait Implementations

impl Clone for Network

fn clone(&self) -> Network

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Network

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Network

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Network

fn eq(&self, other: &Network) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Network

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Network

impl StructuralPartialEq for Network