		Search-engine friendly clone of the ACL2 documentation.

Node

Type of an AIG node in an aignet object, logically.

This is a sum-of-products (i.e., union) type, introduced by fty::defflexsum.

See also network for network-related functions.

Node-fix: Fixing function for node structures.
Node-p: Recognizer for node structures.
Node-equiv: Basic equivalence relation for node structures.
Co-node->fanin: Access the fanin literal from a combinational output node, i.e., from a primary output or a next-state (register input) node.
Gate-node->fanin1: Access the fanin 1 literal from a gate node, whether an AND or an XOR.
Gate-node->fanin0: Access the fanin 0 literal from a gate node, whether an AND or an XOR.
Stype: Get the kind (tag) of a node structure.
Nxst-node: A next-state node for a register.
Node->type: Get the combinational typecode from a logical node.
Node->regp: Get the regp/xorp bit of a node's encoding -- 1 if it is a :reg, :nxst, or :xor node. Note: returns a bitp.
Xor-node: An AND gate node.
And-node: An AND gate node.
Po-node: A primary output node.
Proper-node-p: Recognizer for any node except for the special constant node.
Reg-node: A register node.
Pi-node: A primary input node.
Const-node: A constant-0 node.