- i -

• i : CVC3::CLFlag
• id : SatSolver::Var , SatSolver::Clause , SatSolver::Lit
• ignore_theory_lemmas : LFSCConvert
• in_path_vertex : CVC3::TheoryArithOld::DifferenceLogicGraph::EdgeInfo
• incomingEdges : CVC3::TheoryArithOld::DifferenceLogicGraph
• indentFlag : Obj
• indices : MiniSat::Heap< C >
• init_num_clauses : CDatabaseStats
• init_num_literals : CDatabaseStats
• input_preds : LFSCObj
• input_vars : LFSCObj
• integer_lemma : CVC3::TheoryArithNew
• interactive : CVC3::ParserTemp
• intVariables : CVC3::TheoryArithNew
• is : CVC3::ParserTemp
• is_mem_out : CSolverStats
• is_solver_started : CSolverStats
• isHole : LFSCProofExpr
• isMulti : CVC3::Trigger
• isSimple : CVC3::Trigger
• isSuperSimple : CVC3::Trigger