cprover
|
#include <is_threaded.h>
Public Member Functions | |
is_threadedt (const goto_functionst &goto_functions) | |
bool | operator() (const goto_programt::const_targett t) const |
bool | operator() (void) const |
Protected Types | |
typedef std::set< goto_programt::const_targett > | is_threaded_sett |
Protected Member Functions | |
void | compute (const goto_functionst &goto_functions) |
Protected Attributes | |
is_threaded_sett | is_threaded_set |
Definition at line 21 of file is_threaded.h.
|
protected |
Definition at line 41 of file is_threaded.h.
|
inlineexplicit |
Definition at line 24 of file is_threaded.h.
References compute().
|
protected |
Definition at line 85 of file is_threaded.cpp.
References forall_goto_functions, forall_goto_program_instructions, and is_threaded_set.
Referenced by is_threadedt().
|
inline |
Definition at line 30 of file is_threaded.h.
References is_threaded_set.
|
inline |
Definition at line 35 of file is_threaded.h.
References is_threaded_set.
|
protected |
Definition at line 42 of file is_threaded.h.
Referenced by compute(), and operator()().