- n -

• NEGNODE_ENCODING : calDump.c , bdddump.c
• NEGVAR_ENCODING : bdddump.c , calDump.c
• NEXT : list.c
• NICE_BLOCK_SIZE : calMem.c , memint.h
• NIL : util.h
• NODE_SIZE : calInt.h
• NODELABEL_ENCODING : bdddump.c , calDump.c
• NONE : cuddDecomp.c
• NOTHING : cuddApprox.c
• NULLARGS : util.h
• NUM_NODES_PER_PAGE : calInt.h
• NUM_PAGES_PER_SEGMENT : calInt.h
• NUM_REC_MGRS : calInt.h