Function libreda_sta::signal_propagation::propagate_signals_incremental

pub(crate) fn propagate_signals_incremental<Netlist, CellModel, ICModel, ICLoadModel>(
    netlist: &Netlist,
    g: &TimingGraph<Netlist, CellModel>,
    cell_model: &CellModel,
    interconnect_delay_model: &ICModel,
    interconnect_load_model: &ICLoadModel,
    frontier: impl Iterator<Item = NodeIndex> + Clone,
    generation: u32
)where
    Netlist: NetlistBaseMT,
    CellModel: ConstraintBase + CellDelayModel<Netlist> + CellConstraintModel<Netlist> + Sync,
    ICModel: InterconnectDelayModel<Netlist, Signal = CellModel::Signal> + Sync,
    ICLoadModel: InterconnectLoadModel<Netlist, Load = CellModel::Load> + Sync,

Incrementally propagate actual and required signals in the full timing graph.