cprover
Loading...
Searching...
No Matches
object_factory_parameters.h File Reference
#include <list>
#include <util/irep.h>
#include <util/magic.h>
Include dependency graph for 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  object_factory_parameterst

Functions

void parse_object_factory_options (const cmdlinet &, optionst &)
 Parse the object factory parameters from a given command line.

Function Documentation

◆ parse_object_factory_options()

void parse_object_factory_options ( const cmdlinet & cmdline,
optionst & options )

Parse the object factory parameters from a given command line.

Parameters
cmdlineCommand line
[out]optionsThe options object that will be updated.

Definition at line 54 of file object_factory_parameters.cpp.