14 #ifndef CPROVER_ANALYSES_IS_THREADED_H 15 #define CPROVER_ANALYSES_IS_THREADED_H 48 #endif // CPROVER_ANALYSES_IS_THREADED_H bool operator()(const goto_programt::const_targett t) const
bool operator()(void) const
void compute(const goto_functionst &goto_functions)
Goto Programs with Functions.
std::set< goto_programt::const_targett > is_threaded_sett
instructionst::const_iterator const_targett
is_threaded_sett is_threaded_set
is_threadedt(const goto_functionst &goto_functions)