- i -

• ID : kinds.h
• IF : kinds.h
• IFF : kinds.h
• IFF_R : kinds.h
• IFTHEN : kinds.h
• IMPLIES : kinds.h
• INCLUDE : kinds.h
• INT : theory_arith.h
• INTDIV : theory_arith.h
• INTTOBV : theory_bitvector.h
• INVALID : queryresult.h
• IS_INTEGER : theory_arith.h
• ITE : kinds.h
• ITE_R : kinds.h

---