Here is a list of all struct and union fields with links to the structures/unions they belong to:

- 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
• INHERITS_FROM() : BeEnc , SimulateState , BaseEvaluator , BoolEnc , BaseTraceExecutor , BDDCompleteTraceExecutor , DependencyBase , BoolSexpFsm , BDDPartialTraceExecutor , CompleteTraceExecutor , SexpFsm , PartialTraceExecutor , SATCompleteTraceExecutor , DependencyCore , HrcDumper , SATPartialTraceExecutor , SATRestartPartialTraceExecutor , HrcDumperAnonymizer , TraceLoader , TraceXmlLoader , DependencyPsl , HrcDumperDebug , TraceCompact , TraceEmpty , HrcDumperSmv , TraceExplainer , TracePlugin , FormulaDependency , HrcDumperXml , TraceTable , TraceXmlDumper , MasterLogicRecognizer , LogicRecognizerCore , LogicRecognizerBase , EnvObject , HrcNode , Trace , GenericTrans , FlattenerBase , NodeAnonymizerAtom , NodeAnonymizerBase , FlattenerCore , NodeAnonymizerDot , NodeAnonymizerST , MasterCompileFlattener , PrinterNonAmbiguousDot , MasterNodeWalker , CheckerBase , NodeWalker , NormalizerBase , CheckerCore , NormalizerCore , NormalizerPsl , CheckerPsl , PrinterBase , SatZchaff , SatMinisat , SatSolver , PrinterIWffCore , PropDb , Prop_Rewriter , CheckerStatement , PrinterPsl , PrinterSexpCore , DDMgr , PrinterWffCore , Prop , BaseEnc , BoolEncClient , SatIncSolver , BddEnc
• init : BddFsm
• init_assign : HrcNode
• init_expr : HrcNode
• InlineRes_destroy() : InlineRes
• InlineRes_get_equivalences() : InlineRes
• InlineRes_get_equivalences_expr() : InlineRes
• InlineRes_get_inlined_expr() : InlineRes
• InlineRes_get_invariant_expr() : InlineRes
• InlineRes_get_invariants() : InlineRes
• InlineRes_get_original_expr() : InlineRes
• InlineRes_get_result() : InlineRes
• InlineRes_get_result_unique() : InlineRes
• InlineResult_copy() : InlineResult
• InlineResult_create() : InlineResult
• InlineResult_destroy() : InlineResult
• InlineResult_get_c() : InlineResult
• InlineResult_get_inlined_f() : InlineResult
• InlineResult_get_inlined_f_and_c() : InlineResult
• InlineResult_get_original_f() : InlineResult
• 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 : BeEnc , BddEnc
• 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