#include <goto_diff_parse_options.h>
Definition at line 42 of file goto_diff_parse_options.h.
◆ goto_diff_parse_optionst()
goto_diff_parse_optionst::goto_diff_parse_optionst |
( |
int |
argc, |
|
|
const char ** |
argv |
|
) |
| |
◆ doit()
int goto_diff_parse_optionst::doit |
( |
| ) |
|
|
virtual |
◆ get_command_line_options()
void goto_diff_parse_optionst::get_command_line_options |
( |
optionst & |
options | ) |
|
|
protected |
◆ help()
void goto_diff_parse_optionst::help |
( |
| ) |
|
|
virtual |
◆ process_goto_program()
bool goto_diff_parse_optionst::process_goto_program |
( |
const optionst & |
options, |
|
|
goto_modelt & |
goto_model |
|
) |
| |
|
protected |
◆ register_languages()
void goto_diff_parse_optionst::register_languages |
( |
| ) |
|
|
protected |
The documentation for this class was generated from the following files: