Enum HwRelation 

pub enum HwRelation {
    Drives,
    DrivesRegistered {
        clock: String,
    },
    DataFlow,
    Reads,
    Writes,
    Controls,
    Selects,
    Enables,
    Resets,
    Triggers {
        delay: Option<u32>,
    },
    Constrains,
    Follows {
        min: u32,
        max: u32,
    },
    Precedes,
    Preserves,
    Contains,
    Instantiates,
    ConnectsTo,
    BelongsToDomain {
        domain: String,
    },
    HandshakesWith,
    Acknowledges,
    Pipelines {
        stages: u32,
    },
    MutuallyExcludes,
    EventuallyFollows,
    AssumedBy,
}

Formal hardware relation types with parameterized attributes.

24 variants organized into 6 categories:

• Data Flow (5): Drives, DrivesRegistered, DataFlow, Reads, Writes
• Control Flow (4): Controls, Selects, Enables, Resets
• Temporal (5): Triggers, Constrains, Follows, Precedes, Preserves
• Structural (4): Contains, Instantiates, ConnectsTo, BelongsToDomain
• Protocol (3): HandshakesWith, Acknowledges, Pipelines
• Specification (3): MutuallyExcludes, EventuallyFollows, AssumedBy

Variants

Drives

DrivesRegistered

Fields

clock: String

DataFlow

Reads

Writes

Controls

Selects

Enables

Resets

Triggers

Fields

delay: Option<u32>

Constrains

Follows

Fields

min: u32

max: u32

Precedes

Preserves

Contains

Instantiates

ConnectsTo

BelongsToDomain

Fields

domain: String

HandshakesWith

Acknowledges

Pipelines

Fields

stages: u32

MutuallyExcludes

EventuallyFollows

AssumedBy

Trait Implementations

impl Clone for HwRelation

fn clone(&self) -> HwRelation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HwRelation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HwRelation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for HwRelation

fn eq(&self, other: &HwRelation) -> 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 HwRelation

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for HwRelation