- i -

• i_values : TraceDefineFrame
• i_vars : Trace
• id : Trace
• in_values : TraceDefineFrame
• indent : HrcDumper
• indent_pending : HrcDumper
• indent_size : HrcDumper
• index : SymbLayerIter , SymbTableIter , Prop , array_t , Stack_ptr
• index2name : BddEnc , BeEnc
• index2name_size : BeEnc
• index_gaps : BddEnc
• init : BddFsm
• init_assign : HrcNode
• init_expr : HrcNode
• inlining : SexpFsm
• inlining_cache : Rbc_Manager_t
• input_values : TraceVarFrame
• input_variables : HrcNode
• input_vars_add : BddEnc
• input_vars_bdd : BddEnc
• input_vars_mask_add : BddEnc
• input_vars_mask_bdd : BddEnc
• input_vars_num : BddEnc , BeEnc
• inside_attime : CheckerStatement
• instance_name : HrcNode
• integer : SubstValue
• interpolation : SatSolver
• inttype : node_val
• invar_assign : HrcNode
• invar_expr : HrcNode
• invar_inputs : BddFsm
• invar_props : HrcNode
• invar_states : BddFsm
• iRef : Dag_Vertex_t
• is_boolean : SexpFsm
• is_embedded : TraceXmlDumper
• is_id : NodeAnonymizerBase
• is_leaf : NodeAnonymizerBase
• is_status_consistent : Prop_Rewriter
• is_volatile : Trace