pub struct SubstrateRegion {
pub id: String,
pub nodes: Vec<NodeId>,
pub connections: HashMap<NodeId, Vec<NodeId>>,
pub states: HashMap<NodeId, NodeState>,
pub has_reentrant_architecture: bool,
}Expand description
Represents a substrate region for Φ analysis
Fields§
§id: StringUnique identifier for this region
nodes: Vec<NodeId>Nodes/units in this region
connections: HashMap<NodeId, Vec<NodeId>>Connections between nodes (adjacency)
states: HashMap<NodeId, NodeState>Current state of each node
has_reentrant_architecture: boolWhether this region has reentrant (feedback) architecture
Trait Implementations§
Source§impl Clone for SubstrateRegion
impl Clone for SubstrateRegion
Source§fn clone(&self) -> SubstrateRegion
fn clone(&self) -> SubstrateRegion
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for SubstrateRegion
impl RefUnwindSafe for SubstrateRegion
impl Send for SubstrateRegion
impl Sync for SubstrateRegion
impl Unpin for SubstrateRegion
impl UnwindSafe for SubstrateRegion
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more