Struct LogicPath 

pub struct LogicPath<A: Hash + Eq + Clone> {
    pub target: LogicPathTarget<A>,
    pub sources: FxHashSet<VarAtomBase<A>>,
    pub previous_sources: FxHashSet<VarAtomBase<A>>,
    pub address_sources: FxHashSet<VarAtomBase<A>>,
    pub local_inputs: Vec<(A, NodeId)>,
    pub order_before: FxHashSet<LogicPathId>,
    pub comb_capture_enable_sites: Vec<u32>,
    pub comb_capture_enable_always: bool,
    pub pre_lower_nodes: Vec<NodeId>,
    pub expr: NodeId,
}

Fields

target: LogicPathTarget<A>

Semantic combinational process which produced this range definition.

sources: FxHashSet<VarAtomBase<A>>

previous_sources: FxHashSet<VarAtomBase<A>>

address_sources: FxHashSet<VarAtomBase<A>>

Sources used to compute a dynamic address. These remain ordinary dependencies even when they overlap a previous-value source.

local_inputs: Vec<(A, NodeId)>

order_before: FxHashSet<LogicPathId>

comb_capture_enable_sites: Vec<u32>

comb_capture_enable_always: bool

Enable the listed capture sites whenever this path executes, even when assignment conversion leaves the stored target unchanged.

pre_lower_nodes: Vec<NodeId>

expr: NodeId

Implementations

impl<A: Debug + Display + Hash + Eq + Clone> LogicPath<A>

pub fn map_addr<B: Hash + Eq + Clone, F>( &self, arena: &SLTNodeArena<A>, target_arena: &mut SLTNodeArena<B>, cache: &mut HashMap<NodeId, NodeId>, f: &F, ) -> Result<LogicPath<B>, SLTNodeFactsError>

where F: Fn(&A) -> B,

Trait Implementations

impl<A: Clone + Hash + Eq + Clone> Clone for LogicPath<A>

fn clone(&self) -> LogicPath<A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + Hash + Eq + Clone> Debug for LogicPath<A>

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

Formats the value using the given formatter.

impl<'de, A> Deserialize<'de> for LogicPath<A>

where A: Deserialize<'de> + Hash + Eq + Clone + Hash,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<A: Display + Hash + Eq + Clone> Display for LogicPath<A>

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

Formats the value using the given formatter.

impl<A: Eq + Hash + Eq + Clone> Eq for LogicPath<A>

impl<A: PartialEq + Hash + Eq + Clone> PartialEq for LogicPath<A>

fn eq(&self, other: &LogicPath<A>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<A> Serialize for LogicPath<A>

where A: Serialize + Hash + Eq + Hash + Clone,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<A: PartialEq + Hash + Eq + Clone> StructuralPartialEq for LogicPath<A>