Index - N
| nBddSizeLimit'Prove_Params | Data.ABC.Internal.FRAIG |
| nBits'Abc_Cex | Data.ABC.Internal.ABCGlobal |
| nBTLimit'Cec_ParCec | Data.ABC.Internal.CEC |
| nBTLimit'Cec_ParSat | Data.ABC.Internal.CEC |
| nCallsRecycle'Cec_ParSat | Data.ABC.Internal.CEC |
| neg | Data.ABC |
| Network | |
| 1 (Data Constructor) | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| 2 (Type/Class) | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| networkInputCount | Data.ABC.AIG, Data.ABC |
| networkOutputCount | Data.ABC |
| newAIG | Data.ABC.AIG, Data.ABC |
| newGIA | Data.ABC.GIA, Data.ABC |
| newGraph | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| newInput | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| nFraigingLimitMulti'Prove_Params | Data.ABC.Internal.FRAIG |
| nFraigingLimitStart'Prove_Params | Data.ABC.Internal.FRAIG |
| nItersMax'Prove_Params | Data.ABC.Internal.FRAIG |
| nMiteringLimitLast'Prove_Params | Data.ABC.Internal.FRAIG |
| nMiteringLimitMulti'Prove_Params | Data.ABC.Internal.FRAIG |
| nMiteringLimitStart'Prove_Params | Data.ABC.Internal.FRAIG |
| nmManCreate | Data.ABC.Internal.ABC |
| nmManFree | Data.ABC.Internal.ABC |
| Nm_Man_t | Data.ABC.Internal.ABC |
| Nm_Man_t_ | Data.ABC.Internal.ABC |
| nonZero | Data.ABC |
| not | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| NotAnd | Data.ABC.GIA, Data.ABC |
| NotInput | Data.ABC.GIA, Data.ABC |
| nPis'Abc_Cex | Data.ABC.Internal.ABCGlobal |
| nRegs'Abc_Cex | Data.ABC.Internal.ABCGlobal |
| nRewritingLimitMulti'Prove_Params | Data.ABC.Internal.FRAIG |
| nRewritingLimitStart'Prove_Params | Data.ABC.Internal.FRAIG |
| nSatVarMax'Cec_ParSat | Data.ABC.Internal.CEC |
| nTimeLimit'Cec_ParCec | Data.ABC.Internal.CEC |
| nTotalBacktrackLimit'Prove_Params | Data.ABC.Internal.FRAIG |
| nTotalBacktracksMade'Prove_Params | Data.ABC.Internal.FRAIG |
| nTotalInspectLimit'Prove_Params | Data.ABC.Internal.FRAIG |
| nTotalInspectsMade'Prove_Params | Data.ABC.Internal.FRAIG |