#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:

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

Macro Definition Documentation

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

#define OPT_FUNCTIONS "(function):"