cprover
|
Factory and information for path_storaget. More...
#include <path_storage.h>
Public Member Functions | |
path_strategy_choosert () | |
std::string | show_strategies () const |
suitable for displaying as a front-end help message More... | |
bool | is_valid_strategy (const std::string strategy) const |
is there a factory constructor for the named strategy? More... | |
std::unique_ptr< path_storaget > | get (const std::string strategy) const |
Factory for a path_storaget. More... | |
void | set_path_strategy_options (const cmdlinet &, optionst &, messaget &) const |
add paths and exploration-strategy option, suitable to be invoked from front-ends. More... | |
Protected Member Functions | |
std::string | default_strategy () const |
Protected Attributes | |
std::map< const std::string, std::pair< const std::string, const std::function< std::unique_ptr< path_storaget >)> > > | strategies |
Map from the name of a strategy (to be supplied on the command line), to the help text for that strategy and a factory thunk returning a pointer to a derived class of path_storaget that implements that strategy. More... | |
Factory and information for path_storaget.
Definition at line 129 of file path_storage.h.
path_strategy_choosert::path_strategy_choosert | ( | ) |
Definition at line 116 of file path_storage.cpp.
|
inlineprotected |
Definition at line 161 of file path_storage.h.
|
inline |
Factory for a path_storaget.
Ensure that path_strategy_choosert::is_valid_strategy() returns true for a particular string before calling this function on that string.
Definition at line 147 of file path_storage.h.
|
inline |
is there a factory constructor for the named strategy?
Definition at line 138 of file path_storage.h.
void path_strategy_choosert::set_path_strategy_options | ( | const cmdlinet & | cmdline, |
optionst & | options, | ||
messaget & | message | ||
) | const |
add paths
and exploration-strategy
option, suitable to be invoked from front-ends.
Definition at line 93 of file path_storage.cpp.
std::string path_strategy_choosert::show_strategies | ( | ) | const |
suitable for displaying as a front-end help message
Definition at line 85 of file path_storage.cpp.
|
protected |
Map from the name of a strategy (to be supplied on the command line), to the help text for that strategy and a factory thunk returning a pointer to a derived class of path_storaget that implements that strategy.
Definition at line 172 of file path_storage.h.