- c -

• canGetHead() : theory_quant.cpp
• checkAssump() : search_fast.cpp
• checkAssumpDebug() : search_fast.cpp
• Clause_new() : minisat_types.cpp
• compare() : theorem.cpp , expr.cpp , theorem.cpp
• compare_var_stat() : xchaff_solver.cpp
• compareByPtr() : theorem.cpp
• compareLits() : search_fast.cpp
• computeBVConst() : theory_bitvector.h
• constantKids() : bitvector_theorem_producer.cpp , theory_bitvector.cpp
• cvcToMiniSat() : minisat_solver.cpp , minisat_solver.h , minisat_solver.cpp , minisat_solver.h

---