- i -

• 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
• INHERITS_FROM : object.h
• INLINE_RES : SexpInliner.h
• INLINE_RES_CHECK_INSTANCE : SexpInliner.h
• INLINE_RESULT : InlineResult.h
• INLINE_RESULT_CHECK_INSTANCE : InlineResult.h
• INLINING_LAYER_NAME : compile.h
• INPUT_FILE : opt.h
• INPUT_ORDER_FILE : opt.h
• INVAR_CHECK_STRATEGY : opt.h
• IS_BMC_DUMP : bmcCmd.h
• IS_INC_SAT : bmcCmd.h
• IS_PARTIAL_EXECUTOR : traceCmd.c
• IS_VALID_SET : FormulaDependency_private.h
• isBinaryOp : bmcUtils.h
• isConstantExpr : bmcUtils.h
• isPastOp : bmcUtils.h
• isVariable : bmcUtils.h
• IWLS95_PREORDER : opt.h