Nxst-node
A next-state node for a register.
This is a product type, introduced by fty::defflexsum in support of node.
Fields
- fanin — lit
- Literal giving the logical function of the next state.
- reg — natp
- Index (register number, not ID) of the register for which this is the next state.
Subtopics
- Nxst-node->reg
- Get the reg field from a nxst-node.
- Nxst-node->fanin
- Get the fanin field from a nxst-node.
