Module libreda_logic::network

Abstraction of logic networks.

Traits

• BinaryOp
  Binary logic operations.
• Edge
  Representation of a signal in a logic network.
• EdgeWithInversion
  Trait for an edge ID which encodes an optional inversion of the signal.
• HomogeneousNetwork
  A logic network where all nodes implement the same boolean function.
• ImmutableNot
  Get the inverse of a signal without modifying the network. This can typically be done if the inversion is stored in the signal identifier.
• MutNetworkNode
  Mutable node in a logic network.
• MutNetworkNodeWithReferenceCount
  Trait for a node which allows changing its reference counter.
• NAryOp
  Logic operations with N inputs.
• Network
  Basic properties of a logic network.
• NetworkEdit
  Generic functions to manipulate a logic network.
• NetworkEditShortcuts
  Convenience functions implemented on top of the NetworkEdit trait.
• NetworkNode
  Basic trait of a node in a logic network.
• NetworkNodeWithReferenceCount
  Trait for a node which knows the number of its references.
• NetworkShortcuts
  Convenience functions implemented on top of the Network trait.
• ReferenceCounted
  Provide the number of nodes which have a given node in their fan-in.
• StaticFunction
  A logic node which implements a function known at compile time.
• StaticInputDegree
  A logic node with a number of inputs known at compile time.
• SubstituteInNode
  A network which supports substituting input signals of nodes.
• TernaryOp
  Logic operations with three inputs.
• UnaryOp
  Unary logic operations.