Struct DriverGraph 

pub struct DriverGraph { /* private fields */ }

The {net,process} driver-dependency graph (NL-063): write_edges() is (process) -write-> (net) for every real (non-input-port-boundary) DriverInfo; read_edges() is (net) -read-> (process) for every AnalyzedProcedure::read_set() entry whose net has at least one internal (non-input-port) driver somewhere in this graph — a pure top-level input has no driver of its own to synchronize with, so a read of it is never a partition-membership-relevant dependency (see build_driver_graph’s own doc comment for the fixture that pins this exact filter).

Implementations

impl DriverGraph

pub fn write_edges(&self) -> &[(InstantiatedSignalId, InstantiatedSignalId)]

(process, net) pairs — one per real DriverEntry.

pub fn read_edges(&self) -> &[(InstantiatedSignalId, InstantiatedSignalId)]

(net, process) pairs — one per read-set entry (see this module’s own doc comment for the input-port exclusion).

Trait Implementations

impl Default for DriverGraph

fn default() -> Self

Returns the “default value” for a type.