- i -

• IF_DEBUG() : vcl.cpp, theory_core.cpp, search_fast.cpp, main.cpp, context.cpp
• implIntro3() : theory_core.cpp
• incomplete() : theory_core.cpp
• insert() : hash.h
• inStrCache() : theory_quant.cpp
• int2string() : cvclutil.h
• isArray() : theory_array.h
• isArrayLiteral() : theory_array.h
• isConstructor() : theory_datatype.h
• isDarkShadow() : theory_arith.h
• isDatatype() : theory_datatype.h
• isDivide() : theory_arith.h
• isGE() : theory_arith.h
• isGoodTrigger() : theory_quant.cpp
• isGrayShadow() : theory_arith.h
• isGT() : theory_arith.h
• isIneq() : theory_arith.h
• isInt() : theory_arith.h
• isIntegerConst() : theory_arith.h
• isIntPred() : theory_arith.h
• isLE() : theory_arith.h
• isLT() : theory_arith.h
• isMinus() : theory_arith.h
• isMult() : theory_arith.h
• isPlus() : theory_arith.h
• isRational() : theory_arith.h
• isRead() : theory_array.h
• isReal() : theory_arith.h
• isSelector() : theory_datatype.h
• isTester() : theory_datatype.h
• isTrivialExpr() : expr_stream.cpp
• isUMinus() : theory_arith.h
• isWrite() : theory_array.h

---