• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
      • Ipasir
      • Aignet
      • Aig
        • Aig-constructors
        • Aig-vars
        • Aig-sat
        • Bddify
        • Aig-substitution
        • Aig-other
        • Aig-semantics
          • Aig-eval
            • Aig-env-lookup-missing-action
            • Aig-env-lookup
            • Aig-alist-lookup
            • Aig-eval-thms
            • Aig-env-lookup-missing-output
            • Aig-alist-equiv
            • Aig-env-equiv
            • Aig-equiv
            • Aig-eval-alist
            • Aig-eval-list
            • Aig-eval-alists
          • Aig-and-count
        • Satlink
        • Truth
        • Ubdds
        • Bdd
        • Faig
        • Bed
        • 4v
      • Debugging
      • Projects
      • Std
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Testing-utilities
      • Math
    • Aig-eval

    Aig-env-lookup-missing-output

    Stub for warnings about missing variables in AIG evaluation.

    This stub is called when aig-eval encounters a variable in the AIG that has no binding in the environment. It is generally configured with aig-env-lookup-missing-action.