Trait libreda_db::netlist::util::NetlistUtil

pub trait NetlistUtil: NetlistBase {
    // Provided methods
    fn net_of_terminal(
        &self,
        terminal: &TerminalId<Self>
    ) -> Option<Self::NetId> { ... }
    fn for_each_terminal_of_net<F>(&self, net: &Self::NetId, f: F)
       where F: FnMut(TerminalId<Self>) { ... }
    fn each_terminal_of_net_vec(
        &self,
        net: &Self::NetId
    ) -> Vec<TerminalId<Self>> { ... }
    fn each_terminal_of_net<'a>(
        &'a self,
        net: &Self::NetId
    ) -> Box<dyn Iterator<Item = TerminalId<Self>> + 'a> { ... }
    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 net_of_terminal(&self, terminal: &TerminalId<Self>) -> Option<Self::NetId>

Get the net that is attached to this terminal.

fn for_each_terminal_of_net<F>(&self, net: &Self::NetId, f: F)

where F: FnMut(TerminalId<Self>),

Call a function for each terminal connected to this net.

fn each_terminal_of_net_vec(&self, net: &Self::NetId) -> Vec<TerminalId<Self>>

Get a Vec with all terminal IDs connected to this net.

fn each_terminal_of_net<'a>( &'a self, net: &Self::NetId ) -> Box<dyn Iterator<Item = TerminalId<Self>> + 'a>

Iterate over all terminals of a net.

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.

Object Safety

This trait is not object safe.

Implementors

impl<N: NetlistBase> NetlistUtil for N