Trait libreda_db::netlist::util::NetlistUtil

pub trait NetlistUtil: NetlistBase {
    fn is_constant_net(&self, net: &Self::NetId) -> bool { ... }
    fn nets_of_cell_instance(
        &self, 
        inst: &Self::CellInstId
    ) -> Box<dyn Iterator<Item = Self::NetId>> { ... }
    fn for_each_circuit_instance_of_net<F>(&self, net: &Self::NetId, f: F)
    where
        F: FnMut(Self::CellInstId),
    { ... }
    fn each_circuit_instance_of_net_vec(
        &self, 
        net: &Self::NetId
    ) -> Vec<Self::CellInstId> { ... }
    fn fmt(&self, f: &mut Formatter<'_>) -> Result { ... }
}

Non-modifying utility functions for netlists. Import the this trait to use the utility functions all types that implement the NetlistBase trait.

Provided methods

fn is_constant_net(&self, net: &Self::NetId) -> bool

Check if the net is either the constant LOW or HIGH.

fn nets_of_cell_instance(
    &self,
    inst: &Self::CellInstId
) -> Box<dyn Iterator<Item = Self::NetId>>

Get all nets that are connected to the circuit instance.

fn for_each_circuit_instance_of_net<F>(&self, net: &Self::NetId, f: F) where
    F: FnMut(Self::CellInstId), 

Visit all circuit instances connected to this net. An instance is touched not more than once.

fn each_circuit_instance_of_net_vec(
    &self,
    net: &Self::NetId
) -> Vec<Self::CellInstId>

Iterate over all circuit instances connected to this net. An instance is touched not more than once.

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

Write the netlist in a human readable form.

Implementors

impl<N: NetlistBase> NetlistUtil for N