Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- i -

• IFF : symbols.h
• IFTHENELSE : symbols.h
• IGNORE_COMPUTE : opt.h
• IGNORE_INIT_FILE : opt.h
• IGNORE_INVAR : opt.h
• IGNORE_LTLSPEC : opt.h
• IGNORE_PSLSPEC : opt.h
• IGNORE_SPEC : opt.h
• IMAGE_CLUSTER_SIZE : opt.h
• IMPLIES : symbols.h
• in_list() : node.h
• INHERITS_FROM : object.h
• INIT : symbols.h
• init_bdd : ltlInt.h
• init_memory() : error.h
• init_mpz_pool() : numbersInt.h
• init_preprocessors() : cinit.h
• init_string() : ustring.h
• INLINE_RES : SexpInliner.h
• INLINE_RES_CHECK_INSTANCE : SexpInliner.h
• INLINE_RESULT : InlineResult.h
• INLINE_RESULT_CHECK_INSTANCE : InlineResult.h
• InlineRes_ptr : SexpInliner.h
• InlineResult_ptr : InlineResult.h
• InlineResult_ref() : InlineResult.h
• INLINING_LAYER_NAME : compile.h
• INPUT_FILE : opt.h
• INPUT_ORDER_FILE : opt.h
• Input_Variables_Instantiation_Mode : compile.h
• insert_assoc() : assoc.h
• insert_module_hash() : compile.h
• Instantiation_Functions_Mode_Type : compile.h
• Instantiation_Variables_Mode_Type : compile.h
• INTARRAY : symbols.h
• INTARRAY_TYPE : symbols.h
• INTEGER : symbols.h
• INTEGER_OPTION : OptsHandler.h
• Interactive : simulate.h
• INTERNAL_ARRAY_STRUCT : symbols.h
• INVAR : symbols.h
• invar_bdd : ltlInt.h
• INVAR_CHECK_STRATEGY : opt.h
• INVARSPEC : symbols.h
• IS_BMC_DUMP : bmcCmd.h
• is_default_order_file() : opt.h
• IS_INC_SAT : bmcCmd.h
• is_list_empty() : node.h
• IS_PARTIAL_EXECUTOR : traceCmd.c
• IS_VALID_SET : FormulaDependency_private.h
• ISA : symbols.h
• isBinaryOp : bmcUtils.h
• isConstantExpr : bmcUtils.h
• isPastOp : bmcUtils.h
• isPureFuture() : bmcInt.h
• isVariable : bmcUtils.h
• ITYPE : symbols.h
• IVAR : symbols.h
• IWLS95_PREORDER : opt.h