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