- i -

• i : CVC3::CLFlag
• id : SatSolver::Var , SatSolver::Clause , SatSolver::Lit
• indices : MiniSat::Heap< C >
• init_num_clauses : CDatabaseStats
• init_num_literals : CDatabaseStats
• integer_lemma : CVC3::TheoryArithNew
• interactive : CVC3::ParserTemp
• intVariables : CVC3::TheoryArithNew
• is : CVC3::ParserTemp
• is_mem_out : CSolverStats
• is_solver_started : CSolverStats
• isMulti : CVC3::Trigger
• isSimple : CVC3::Trigger
• isSuperSimple : CVC3::Trigger

---