- i -

• i : Kit_Mux_t_ , Super2_LibStruct_t_ , FxuHeapSingle , FxuHeapDouble
• iBox : Aig_TBox_t_
• iCube : FxuCube , FxuLit
• iCube1 : FxuPair
• iCube2 : FxuPair
• Id : Abc_Obj_t_ , If_Obj_t_ , Lpk_Fun_t_ , Rwr_Node_t_ , Aig_Obj_t_ , Sto_Cls_t_ , Pr_Cls_t_ , Rtm_Obj_t_ , Hop_Obj_t_ , Ivy_Obj_t_ , Kit_DsdObj_t_ , Rwt_Node_t_
• iData : Aig_Obj_t_
• iFan0 : Odc_Obj_t_
• iFan1 : Odc_Obj_t_
• iFirst : Msat_Queue_t_
• iInput : Sim_Man_t_
• iLast : MvcCubeStruct , Msat_Queue_t_
• impactN : GlobalQueueItem
• impactP : GlobalQueueItem
• in : cost_struct
• index : DdNode , ApproxInfo , MtrNode , st_generator , stmm_generator
• iNext : Aig_Man_t_ , Odc_Obj_t_
• Init : Ivy_Obj_t_ , Io_BlifObj_t_
• initSlots : DdManager
• inmask : cube_struct
• iNode : Csw_Cut_t_
• Inouts : Aig_TBox_t_
• Input : Sim_Pat_t_
• inspects : stats_t
• interact : DdManager
• invperm : DdManager
• invpermZ : DdManager
• inword : cube_struct
• iObj : Dar_Lib_t_
• iObj2Box : Aig_TObj_t_
• iObjNext : Io_BlifMan_t_
• iOutput : Sym_Man_t_
• iPatsPerm : Fraig_ManStruct_t_
• iPrev : Aig_Man_t_
• iRoot : Odc_Man_t_
• is_unate : cdata_struct
• IsfAL : Bdc_Man_t_
• IsfAR : Bdc_Man_t_
• IsfOL : Bdc_Man_t_
• IsfOR : Bdc_Man_t_
• isolated : DdManager
• iStep : Abc_Ntk_t_
• item : DdLocalCache
• itemsize : DdHashTable , DdLevelQueue , DdLocalCache
• iVar : FxuLit , Extra_UnateVar_t_ , Lpk_Set_t_ , FxuVar
• iVar1 : Sym_Man_t_
• iVar1Old : Sym_Man_t_
• iVar2 : Sym_Man_t_
• iVar2Old : Sym_Man_t_
• iWordPerm : Fraig_ManStruct_t_
• iWordStart : Fraig_ManStruct_t_