cprover
model_argc_argv.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Initialize command line arguments
4
5
Author: Michael Tautschnig
6
7
Date: April 2016
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
15
#define CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
16
17
class
goto_functionst
;
18
class
message_handlert
;
19
class
symbol_tablet
;
20
21
bool
model_argc_argv
(
22
symbol_tablet
&symbol_table,
23
goto_functionst
&goto_functions,
24
unsigned
max_argc,
25
message_handlert
&message_handler);
26
27
#endif // CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
message_handlert
Definition:
message.h:20
goto_functionst
Definition:
goto_functions.h:20
model_argc_argv
bool model_argc_argv(symbol_tablet &symbol_table, goto_functionst &goto_functions, unsigned max_argc, message_handlert &message_handler)
Definition:
model_argc_argv.cpp:32
goto-instrument
model_argc_argv.h
Generated by
1.8.14