• Top
    • Documentation
    • Books
    • Boolean-reasoning
      • Ipasir
      • Aignet
        • Base-api
        • Aignet-construction
        • Representation
          • Aignet-impl
          • Node
            • Node-fix
            • Node-p
            • Node-equiv
            • Co-node->fanin
            • Gate-node->fanin1
            • Gate-node->fanin0
            • Stype
            • Nxst-node
            • Node->type
            • Node->regp
            • Xor-node
            • And-node
            • Po-node
            • Proper-node-p
            • Reg-node
            • Pi-node
              • Const-node
            • Network
            • Combinational-type
            • Typecode
            • Stypep
          • Aignet-copy-init
          • Aignet-simplify-with-tracking
          • Aignet-simplify-marked-with-tracking
          • Aignet-cnf
          • Aignet-simplify-marked
          • Aignet-complete-copy
          • Aignet-transforms
          • Aignet-eval
          • Semantics
          • Aignet-read-aiger
          • Aignet-write-aiger
          • Aignet-abc-interface
          • Utilities
        • Aig
        • Satlink
        • Truth
        • Ubdds
        • Bdd
        • Faig
        • Bed
        • 4v
      • Projects
      • Debugging
      • Std
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Node

    Pi-node

    A primary input node.

    This is a product type, introduced by fty::defflexsum in support of node.

    This is an atomic/empty structure; it has no fields.