- c -

• canGetHead() : theory_quant.cpp
• ceil() : rational-gmp.cpp
• cf() : preprocess.cpp, expr_transform.cpp
• checkAssump() : search_fast.cpp
• checkAssumpDebug() : search_fast.cpp
• checkInt() : rational-gmp.cpp
• checkRewriteType() : theory_core.cpp
• checkSat() : theory_core.cpp
• checkSATCore() : theory_core.cpp
• checkType() : theory_core.cpp
• collectBasicVars() : theory_core.cpp
• collectModelValues() : theory_core.cpp
• compare() : theorem.cpp, expr.cpp
• compare_var_stat() : xchaff_solver.cpp
• compareByPtr() : theorem.cpp
• compareLits() : search_fast.cpp
• computeBaseType() : theory_core.cpp
• computeBVConst() : theory_bitvector.h
• computeModelBasic() : theory_core.cpp
• computeTCC() : theory_core.cpp
• computeType() : theory_core.cpp
• computeTypePred() : theory_core.cpp
• constantKids() : theory_bitvector.cpp, bitvector_theorem_producer.cpp
• createProofRules() : core_theorem_producer.cpp

---