cprover
function_pointer_restrictionst::invalid_restriction_exceptiont Member List

This is the complete list of members for function_pointer_restrictionst::invalid_restriction_exceptiont, including all inherited members.

correct_formatfunction_pointer_restrictionst::invalid_restriction_exceptiont
invalid_restriction_exceptiont(std::string reason, std::string correct_format="")function_pointer_restrictionst::invalid_restriction_exceptiontexplicit
reasonfunction_pointer_restrictionst::invalid_restriction_exceptiont
what() const overridefunction_pointer_restrictionst::invalid_restriction_exceptiontvirtual
~cprover_exception_baset()=defaultcprover_exception_basetvirtual