cprover
is_threadedt Class Reference

#include <is_threaded.h>

Collaboration diagram for is_threadedt:
[legend]

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_targettis_threaded_sett
 

Protected Member Functions

void compute (const goto_functionst &goto_functions)
 

Protected Attributes

is_threaded_sett is_threaded_set
 

Detailed Description

Definition at line 21 of file is_threaded.h.

Member Typedef Documentation

◆ is_threaded_sett

Definition at line 41 of file is_threaded.h.

Constructor & Destructor Documentation

◆ is_threadedt()

is_threadedt::is_threadedt ( const goto_functionst goto_functions)
inlineexplicit

Definition at line 24 of file is_threaded.h.

References compute().

Member Function Documentation

◆ compute()

void is_threadedt::compute ( const goto_functionst goto_functions)
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().

◆ operator()() [1/2]

bool is_threadedt::operator() ( const goto_programt::const_targett  t) const
inline

Definition at line 30 of file is_threaded.h.

References is_threaded_set.

◆ operator()() [2/2]

bool is_threadedt::operator() ( void  ) const
inline

Definition at line 35 of file is_threaded.h.

References is_threaded_set.

Member Data Documentation

◆ is_threaded_set

is_threaded_sett is_threadedt::is_threaded_set
protected

Definition at line 42 of file is_threaded.h.

Referenced by compute(), and operator()().


The documentation for this class was generated from the following files: