- i -

• IeeeDouble : epd.h
• IeeeNan : epd.h
• If_Box_t : if.h
• If_Cut_t : if.h
• If_DsdMan_t : if.h
• If_DsdObj_t : ifDsd.c
• If_Grp_t : ifDec16.c
• If_Hte_t : ifDec16.c
• If_LibBox_t : if.h
• If_LibLut_t : if.h
• If_Man_t : if.h
• If_Obj_t : if.h
• If_Par_t : if.h
• If_Set_t : if.h
• Ifd_Man_t : mpmPre.c
• Ifd_Obj_t : mpmPre.c
• Iff_Man_t : giaIff.c
• Ifif_Par_t : if.h
• Ifn_Ntk_t : if.h
• Ifn_Obj_t : ifTune.c
• Int16 : bzlib_private.h
• Int2_Man_t : int2Int.h , satSolver2.h
• Int2_ManPars_t : int2.h
• Int32 : bzlib_private.h
• Int_Des_t : cbaBuild.c
• int_fast16_t : pstdint.h
• int_fast32_t : pstdint.h
• int_fast8_t : pstdint.h
• int_least16_t : pstdint.h
• int_least32_t : pstdint.h
• int_least8_t : pstdint.h
• Int_Man_t : satStore.h
• Int_Ntk_t : cbaBuild.c
• Int_Obj_t : cbaBuild.c
• Inta_Man_t : satStore.h
• Intb_Man_t : satStore.h
• Inter_Check_t : intInt.h
• Inter_Man_t : intInt.h
• Inter_ManParams_t : int.h
• intf : zconf.h
• intmax_t : pstdint.h
• Intp_Man_t : satStore.h
• intptr_t : pstdint.h
• Io_BlifMan_t : ioReadBlifAig.c
• Io_BlifObj_t : ioReadBlifAig.c
• Io_MvMan_t : ioReadBlifMv.c
• Io_MvMod_t : ioReadBlifMv.c
• Io_MvVar_t : ioReadBlifMv.c
• Io_ReadBlif_t : ioReadBlif.c
• IPos : deflate.h
• Iso_Dat2_t : saigIsoFast.c
• Iso_Dat_t : saigIsoFast.c
• Iso_Man_t : saigIsoSlow.c
• Iso_Obj_t : saigIsoSlow.c
• Iso_Sto_t : saigIsoFast.c
• Ivy_Cut_t : ivy.h
• Ivy_Dec_t : ivyDsd.c
• Ivy_Edge_t : ivy.h
• Ivy_Eva_t : ivyMulti.c
• Ivy_Eval_t : ivyMulti8.c
• Ivy_FraigList_t : ivyFraig.c
• Ivy_FraigMan_t : ivyFraig.c
• Ivy_FraigParams_t : ivy.h
• Ivy_FraigSim_t : ivyFraig.c
• Ivy_Man_t : ivy.h
• Ivy_Obj_t : ivy.h
• Ivy_Store_t : ivy.h
• Ivy_Supp_t : ivyFastMap.c
• Ivy_SuppMan_t : ivyFastMap.c
• iword : abc_global.h