cprover
show_goto_functions.h File Reference

Show the goto functions. More...

#include <util/ui_message.h>
Include dependency graph for show_goto_functions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define OPT_SHOW_GOTO_FUNCTIONS   "(show-goto-functions)"
 
#define HELP_SHOW_GOTO_FUNCTIONS   " --show-goto-functions show goto program\n"
 

Functions

void show_goto_functions (const namespacet &ns, ui_message_handlert::uit ui, const goto_functionst &goto_functions)
 
void show_goto_functions (const goto_modelt &, ui_message_handlert::uit ui)
 

Detailed Description

Show the goto functions.

Definition in file show_goto_functions.h.

Macro Definition Documentation

§ HELP_SHOW_GOTO_FUNCTIONS

#define HELP_SHOW_GOTO_FUNCTIONS   " --show-goto-functions show goto program\n"

§ OPT_SHOW_GOTO_FUNCTIONS

#define OPT_SHOW_GOTO_FUNCTIONS   "(show-goto-functions)"

Definition at line 21 of file show_goto_functions.h.

Function Documentation

§ show_goto_functions() [1/2]

§ show_goto_functions() [2/2]

void show_goto_functions ( const goto_modelt ,
ui_message_handlert::uit  ui 
)