Struct ElaborationContext 

pub struct ElaborationContext {
    pub default_clocking: Option<String>,
    pub default_disable_iff: Option<SvaExpr>,
}

Context for elaborating directives with default clocking and disable iff. IEEE 16.15: default clocking applies to all assertions in scope that lack an explicit clock. IEEE 16.16: default disable iff applies the reset condition to all assertions lacking explicit disable iff.

Fields

default_clocking: Option<String>

default_disable_iff: Option<SvaExpr>

Trait Implementations

impl Clone for ElaborationContext

fn clone(&self) -> ElaborationContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ElaborationContext

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

Formats the value using the given formatter.

impl Default for ElaborationContext

fn default() -> ElaborationContext

Returns the “default value” for a type.