|
CBMC
|
#include <util/object_factory_parameters.h>
Include dependency graph for c_object_factory_parameters.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| struct | c_object_factory_parameterst |
Functions | |
| void | parse_c_object_factory_options (const cmdlinet &cmdline, optionst &options) |
| Parse the c object factory parameters from a given command line. More... | |
Parse the c object factory parameters from a given command line.
| cmdline | Command line | |
| [out] | options | The options object that will be updated |
Definition at line 11 of file c_object_factory_parameters.cpp.