CBMC
main_function_resultt Member List

This is the complete list of members for main_function_resultt, including all inherited members.

Error enum valuemain_function_resultt
is_error() constmain_function_resulttinline
is_success() constmain_function_resulttinline
main_functionmain_function_resultt
main_function_resultt(statust status)main_function_resulttinline
main_function_resultt(const symbolt &main_function)main_function_resulttinline
NotFound enum valuemain_function_resultt
statusmain_function_resultt
statust enum namemain_function_resultt
Success enum valuemain_function_resultt