- c -

• CALL : CVC3
• CARD_FINITE : CVC3
• CARD_INFINITE : CVC3
• CARD_UNKNOWN : CVC3
• CHECK_TYPE : CVC3
• CHECKSAT : CVC3
• CLFLAG_BOOL : CVC3
• CLFLAG_INT : CVC3
• CLFLAG_NULL : CVC3
• CLFLAG_STRING : CVC3
• CLFLAG_STRVEC : CVC3
• CONCAT : CVC3
• COND : CVC3
• CONST : CVC3
• CONST_WIDTH_LEFTSHIFT : CVC3
• CONSTRUCTOR : CVC3
• CONTEXT : CVC3
• CONTINUE : CVC3
• COUNTEREXAMPLE : CVC3
• COUNTERMODEL : CVC3

---