19 #ifndef __CVC4__OPTION_EXCEPTION_H 20 #define __CVC4__OPTION_EXCEPTION_H UnrecognizedOptionException(const std::string &msg)
Class representing an option-parsing exception such as badly-typed or missing arguments, arguments out of bounds, etc.
UnrecognizedOptionException()
CVC4's exception base class and some associated utilities.
Macros that should be defined everywhere during the building of the libraries and driver binary...
Class representing an exception in option processing due to an unrecognized or unsupported option key...
OptionException(const std::string &s)