10 #ifndef CPROVER_UTIL_TYPECHECK_H 11 #define CPROVER_UTIL_TYPECHECK_H 35 #endif // CPROVER_UTIL_TYPECHECK_H
virtual void typecheck()=0
Class that provides messages with a built-in verbosity 'level'.
typecheckt(message_handlert &_message_handler)
virtual bool typecheck_main()