- c -

• canGetHead() : theory_quant.cpp
• Clause_new() : minisat_types.cpp
• cmpExpr() : theory_quant.cpp
• collectVars() : search_theorem_producer.cpp
• compare() : theorem.cpp , expr.cpp
• compareByPtr() : theorem.cpp
• compareLits() : search_fast.cpp
• constantKids() : theory_bitvector.cpp , bitvector_theorem_producer.cpp , theory_bitvector.cpp
• cvcToMiniSat() : minisat_solver.h , minisat_solver.cpp , minisat_solver.h , minisat_solver.cpp

---