[−][src]Struct moore_svlog::ParamEnvData
A parameter environment.
Implementations
impl<'t> ParamEnvData<'t>[src]
pub fn find_value(&self, node_id: NodeId) -> Option<ParamEnvBinding<Value<'t>>>[src]
Find the value assigned to a node.
pub fn find_type(
&self,
node_id: NodeId
) -> Option<ParamEnvBinding<&'t UnpackedType<'t>>>[src]
&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>[src]
Find the parametrization of an interface port.
pub fn reverse_find_value(&self, node_id: NodeId) -> Option<NodeId>[src]
Find the node assigned to a value parameter.
pub fn set_value(&mut self, node_id: NodeId, value: Value<'t>)[src]
Assign a value to a node.
pub fn add_interfaces(
&mut self,
iter: impl IntoIterator<Item = (NodeId, NodeEnvId)>
)[src]
&mut self,
iter: impl IntoIterator<Item = (NodeId, NodeEnvId)>
)
Add additional interface parametrizations.
Trait Implementations
impl<'t> Clone for ParamEnvData<'t>[src]
pub fn clone(&self) -> ParamEnvData<'t>[src]
pub fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<'t> Debug for ParamEnvData<'t>[src]
impl<'t> Default for ParamEnvData<'t>[src]
pub fn default() -> ParamEnvData<'t>[src]
impl<'t> Eq for ParamEnvData<'t>[src]
impl<'t> Hash for ParamEnvData<'t>[src]
pub fn hash<__H: Hasher>(&self, state: &mut __H)[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher, 1.3.0[src]
H: Hasher,
impl<'t> PartialEq<ParamEnvData<'t>> for ParamEnvData<'t>[src]
pub fn eq(&self, other: &ParamEnvData<'t>) -> bool[src]
pub fn ne(&self, other: &ParamEnvData<'t>) -> bool[src]
impl<'t> StructuralEq for ParamEnvData<'t>[src]
impl<'t> StructuralPartialEq for ParamEnvData<'t>[src]
Auto Trait Implementations
impl<'t> !RefUnwindSafe for ParamEnvData<'t>[src]
impl<'t> Send for ParamEnvData<'t>[src]
impl<'t> Sync for ParamEnvData<'t>[src]
impl<'t> Unpin for ParamEnvData<'t>[src]
impl<'t> !UnwindSafe for ParamEnvData<'t>[src]
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow(&self) -> &TⓘNotable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;[src]
Notable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;[src]
Notable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> Pointable for T
pub const ALIGN: usize
type Init = T
The type for initializers.
pub unsafe fn init(init: <T as Pointable>::Init) -> usize
pub unsafe fn deref<'a>(ptr: usize) -> &'a TⓘNotable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;
Notable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut TⓘNotable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;
Notable traits for &'_ mut R
impl<'_, R> Read for &'_ mut R where
R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;pub unsafe fn drop(ptr: usize)
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,