- i -

• i : CVC3::CLFlag
• id : SatSolver::SatSolver::Var , SatSolver::SatSolver::Clause , SatSolver::SatSolver::Lit
• in_path_vertex : CVC3::TheoryArithOld::TheoryArithOld::DifferenceLogicGraph::TheoryArithOld::DifferenceLogicGraph::EdgeInfo
• incomingEdges : CVC3::TheoryArithOld::TheoryArithOld::DifferenceLogicGraph
• indices : MiniSat::Heap< C >
• integer_lemma : CVC3::TheoryArithNew
• interactive : CVC3::ParserTemp
• intVariables : CVC3::TheoryArithNew
• is : CVC3::ParserTemp
• isMulti : CVC3::Trigger
• isSimple : CVC3::Trigger
• isSuperSimple : CVC3::Trigger