Struct moore_svlog::ParamEnvData

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

A parameter environment.

Methods

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<Type<'t>>>

Find the type assigned to a node.

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

Assign a value to a node.

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> Eq for ParamEnvData<'t>

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> StructuralEq for ParamEnvData<'t>

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