cprover
rebuild_goto_start_function.h File Reference

Goto Programs Author: Thomas Kiley, thoma.nosp@m.s@di.nosp@m.ffblu.nosp@m.e.co.nosp@m.m. More...

#include <util/message.h>
#include "lazy_goto_model.h"
+ Include dependency graph for rebuild_goto_start_function.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >
 

Macros

#define OPT_FUNCTIONS   "(function):"
 
#define HELP_FUNCTIONS   " --function name set main function name\n"
 

Typedefs

using rebuild_goto_start_functiont = rebuild_goto_start_function_baset< goto_modelt >
 
using rebuild_lazy_goto_start_functiont = rebuild_goto_start_function_baset< lazy_goto_modelt >
 

Detailed Description

Goto Programs Author: Thomas Kiley, thoma.nosp@m.s@di.nosp@m.ffblu.nosp@m.e.co.nosp@m.m.

Definition in file rebuild_goto_start_function.h.

Macro Definition Documentation

◆ HELP_FUNCTIONS

#define HELP_FUNCTIONS   " --function name set main function name\n"

Definition at line 24 of file rebuild_goto_start_function.h.

◆ OPT_FUNCTIONS

#define OPT_FUNCTIONS   "(function):"

Definition at line 21 of file rebuild_goto_start_function.h.

Typedef Documentation

◆ rebuild_goto_start_functiont

◆ rebuild_lazy_goto_start_functiont