Struct moore_svlog::ParamEnvData

pub struct ParamEnvData<'t> { /* fields omitted */ }

A parameter environment.

Implementations

impl<'t> ParamEnvData<'t>

pub fn find_value(&self, node_id: NodeId) -> Option<ParamEnvBinding<Value<'t>>>

Find the value assigned to a node.

pub fn find_type(
    &self,
    node_id: NodeId
) -> Option<ParamEnvBinding<&'t UnpackedType<'t>>>

Find the type assigned to a node.

pub fn find_interface(&self, node_id: NodeId) -> Option<NodeEnvId>

Find the parametrization of an interface port.

pub fn reverse_find_value(&self, node_id: NodeId) -> Option<NodeId>

Find the node assigned to a value parameter.

pub fn set_value(&mut self, node_id: NodeId, value: Value<'t>)

Assign a value to a node.

pub fn add_interfaces(
    &mut self,
    iter: impl IntoIterator<Item = (NodeId, NodeEnvId)>
)

Add additional interface parametrizations.

Trait Implementations

impl<'t> Clone for ParamEnvData<'t>

fn clone(&self) -> ParamEnvData<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for ParamEnvData<'t>

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

Formats the value using the given formatter.

impl<'t> Default for ParamEnvData<'t>

fn default() -> ParamEnvData<'t>

Returns the “default value” for a type.

impl<'t> Hash for ParamEnvData<'t>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'t> PartialEq<ParamEnvData<'t>> for ParamEnvData<'t>

fn eq(&self, other: &ParamEnvData<'t>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ParamEnvData<'t>) -> bool

This method tests for !=.

impl<'t> Eq for ParamEnvData<'t>

impl<'t> StructuralEq for ParamEnvData<'t>

impl<'t> StructuralPartialEq for ParamEnvData<'t>