Expand description
Abstraction of logic networks.
Traitsยง
- Binary
Op - Binary logic operations.
- Edge
- Representation of a signal in a logic network.
- Edge
With Inversion - Trait for an edge ID which encodes an optional inversion of the signal.
- Homogeneous
Network - A logic network where all nodes implement the same boolean function.
- Immutable
Not - Get the inverse of a signal without modifying the network. This can typically be done if the inversion is stored in the signal identifier.
- MutNetwork
Node - Mutable node in a logic network.
- MutNetwork
Node With Reference Count - Trait for a node which allows changing its reference counter.
- NAryOp
- Logic operations with N inputs.
- Network
- Basic properties of a logic network.
- Network
Edit - Generic functions to manipulate a logic network.
- Network
Edit Shortcuts - Convenience functions implemented on top of the
NetworkEdittrait. - Network
Node - Basic trait of a node in a logic network.
- Network
Node With Reference Count - Trait for a node which knows the number of its references.
- Network
Shortcuts - Convenience functions implemented on top of the
Networktrait. - Reference
Counted - Provide the number of nodes which have a given node in their fan-in.
- Static
Function - A logic node which implements a function known at compile time.
- Static
Input Degree - A logic node with a number of inputs known at compile time.
- Substitute
InNode - A network which supports substituting input signals of nodes.
- Ternary
Op - Logic operations with three inputs.
- UnaryOp
- Unary logic operations.