- c -

• CALL : kinds.h
• CARD_FINITE : expr.h
• CARD_INFINITE : expr.h
• CARD_UNKNOWN : expr.h
• CHECK_TYPE : kinds.h
• CHECKSAT : kinds.h
• CLFLAG_BOOL : command_line_flags.h
• CLFLAG_INT : command_line_flags.h
• CLFLAG_NULL : command_line_flags.h
• CLFLAG_STRING : command_line_flags.h
• CLFLAG_STRVEC : command_line_flags.h
• CONCAT : theory_bitvector.h
• COND : kinds.h
• CONST : kinds.h
• CONST_WIDTH_LEFTSHIFT : theory_bitvector.h
• CONSTRUCTOR : theory_datatype.h
• CONTEXT : kinds.h
• CONTINUE : kinds.h
• COUNTEREXAMPLE : kinds.h
• COUNTERMODEL : kinds.h

---