- i -

• I2JSerPtr : ilang::I2JSer
• IExprVec : ilang::Unroller
• ila_input_checker_t : ilang::IntefaceDirectiveRecorder
• ila_mem_checker_t : ilang::IntefaceDirectiveRecorder
• IlaBoolValType : ilang::VerilogGeneratorBase
• IlaBvValType : ilang::VerilogGeneratorBase
• IlaBvValUnsignedType : ilang::VerilogGeneratorBase
• ILANameStateNameSetMap : ilang::InterIlaUnroller , ilang::MemoryModel
• IlaPtrVec : ilang::InterIlaUnroller
• inf_connector_t : ilang::IntefaceDirectiveRecorder
• info_t : ilang::VerilogModifier , ilang::VlgSglTgtGen_Yosys
• InstrCnstPtr : ilang::Instr
• InstrLvlAbsCnstPtr : ilang::InstrLvlAbs
• InstrLvlAbsMap : ilang::InstrLvlAbs
• InstrLvlAbsPtr : ilang::Ast , ilang::InstrLvlAbs
• InstrPtr : ilang::Instr
• InstrSeqPtr : ilang::InstrSeq
• InstrVec : ilang::PathUnroll , ilang::MemoryModel , ilang::InterIlaUnroller
• inv_vec_t : ilang::InvariantObject
• is_reg_t : ilang::CexExtractor
• ItEdgePtr : ilang::InstrTranEdge
• ItNodePtr : ilang::InstrTranNode