- i -

• idCounter : ilang::VerilogGeneratorBase
• ila_file_name : ilang::VlgSglTgtGen
• ila_func_app : ilang::VerilogGeneratorBase
• ila_map_name : ilang::VlgAbsMem
• ila_rports : ilang::VerilogGeneratorBase , ilang::VlgAbsMem
• ila_wports : ilang::VlgAbsMem , ilang::VerilogGeneratorBase
• init_assumpts : ilang::VerilogGeneratorBase
• init_shared_vars_z3_ : ilang::InterIlaUnroller
• init_stmts : ilang::VerilogGeneratorBase
• input_wires : ilang::IntefaceDirectiveRecorder
• inputs : ilang::VerilogGeneratorBase
• instance_count : ilang::VerilogAnalyzer
• InstructionNoReset : ilang::VlgVerifTgtGenBase::_vtg_config
• internal_name : ilang::smt::state_var_t
• internal_wires : ilang::IntefaceDirectiveRecorder
• inv_extra_free_vars : ilang::InvariantObject
• inv_extra_vlg_vars : ilang::InvariantObject
• inv_parser : ilang::smt::smtlib2_abstract_parser_wrapper
• inv_pred_name : ilang::smt::SmtlibInvariantParser
• inv_vlg_exprs : ilang::InvariantObject
• InvariantCheckKeepMemory : ilang::VlgVerifTgtGenBase::_vtg_config
• InvariantSynthesisKeepMemory : ilang::VlgVerifTgtGenBase::_vtg_config
• InvariantSynthesisReachableCheckKeepOldInvariant : ilang::VlgVerifTgtGenBase::_vtg_config
• ite_stmts : ilang::VerilogGeneratorBase
• items : ilang::smt::smt_file
• IteUnknownAutoIgnore : ilang::VlgVerifTgtGenBase::_vtg_config