- n -

• n_elts : var_set_struct
• n_size : array_t
• n_words : var_set_struct
• name : mvar_type
• nan : EpTypeUnion
• ncols : sm_matrix_struct
• neg : cuddPathPair
• network : bdd_external_hooks_struct
• next : GlobalQueueItem , LocalQueueItem , CalAssociationStruct , TlClause , DdHook , BlockStruct , DdLocalCache , DdHashItem , ListStruct , DdSubtable , Move , bdd_ , DdQueueItem , block_ , assoc_list_ , list_ , st_table_entry , hash_rec_ , DdNode
• next_col : sm_element_struct , sm_col_struct
• next_row : sm_element_struct , sm_row_struct
• nextBddNode : CalBddNodeStruct
• nextDead : DdManager
• nextDyn : DdManager
• nextFree : DdHashTable , DdManager
• nextPtr : list_elem
• nitems : Heap
• node : CalBddGenStruct , bdd_t , cmu_bdd_gen , GlobalQueueItem , LocalQueueItem , DdGen , bdd_t , bvar_type
• node_limit : unique_
• nodeLimit : Cal_BddManagerStruct
• nodelist : avl_generator_struct , DdSubtable
• nodeManager : CalHashTableStruct
• nodeManagerArray : Cal_BddManagerStruct
• nodes : DdGen , CalBddGenStruct , cmu_bdd_gen
• nodes_at_start : bdd_manager_
• nodesPointer : NodeData
• nodeStack : CalBddGenStruct
• nrows : sm_matrix_struct
• num : array_t
• num_bins : st_table
• num_children : block_
• num_e_slots : g_field_struct
• num_entries : avl_tree_struct , st_table
• num_g_slots : g_field_struct
• num_v_slots : g_field_struct
• numberXovers : DdManager
• numBins : CalCacheTableStruct , CalHashTableStruct
• numBlocks : Cal_RecMgrStruct
• numBuckets : DdHashTable , DdLevelQueue
• numChildren : Cal_BlockStruct
• numCollisions : CalCacheTableStruct
• numEntries : CalCacheTableStruct , CalHashTableStruct
• numForwardedNodes : Cal_BddManagerStruct
• numGC : Cal_BddManagerStruct
• numHits : CalCacheTableStruct
• numInsertions : CalCacheTableStruct
• numLookups : CalCacheTableStruct
• numNodes : Cal_BddManagerStruct
• numNodesFreed : Cal_BddManagerStruct
• numPages : CalNodeManagerStruct
• numPagesArray : CalPageManagerStruct
• numPagesPerSegment : CalPageManagerStruct
• numPeakNodes : Cal_BddManagerStruct
• numReorderings : Cal_BddManagerStruct
• numSegments : CalPageManagerStruct
• numSwaps : Cal_BddManagerStruct
• numTrivialSwaps : Cal_BddManagerStruct
• numVars : Cal_BddManagerStruct