- c -

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