- c -

• c : CVC3::TheoryArithOld::GraphEdge
• cacheHead : CVC3::TheoryQuant
• cap : vec< T > , MiniSat::vec< T >
• clause_decay : MiniSat::SearchParams
• clauses_literals : MiniSat::SolverStats
• common_pos : CVC3::TheoryQuant::multTrigsInfo
• comp : MiniSat::Heap< C >
• conflicts : MiniSat::SolverStats
• consistent : CVC3::TheoryArithNew
• core : CVC3::TheoryArithOld::DifferenceLogicGraph

---