CBMC
Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
is_threadedt Class Reference

#include <is_threaded.h>

+ Collaboration diagram for is_threadedt:

Public Member Functions

 is_threadedt (const goto_functionst &goto_functions)
 
 is_threadedt (const goto_modelt &goto_model)
 
bool operator() (const goto_programt::const_targett t) const
 
bool operator() (void) const
 

Protected Types

typedef std::set< goto_programt::const_targett, goto_programt::target_less_than > is_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

typedef std:: set<goto_programt::const_targett, goto_programt::target_less_than> is_threadedt::is_threaded_sett
protected

Definition at line 49 of file is_threaded.h.

Constructor & Destructor Documentation

◆ is_threadedt() [1/2]

is_threadedt::is_threadedt ( const goto_functionst &  goto_functions)
inlineexplicit

Definition at line 24 of file is_threaded.h.

◆ is_threadedt() [2/2]

is_threadedt::is_threadedt ( const goto_modelt &  goto_model)
inlineexplicit

Definition at line 30 of file is_threaded.h.

Member Function Documentation

◆ compute()

void is_threadedt::compute ( const goto_functionst &  goto_functions)
protected

Definition at line 95 of file is_threaded.cpp.

◆ operator()() [1/2]

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

Definition at line 36 of file is_threaded.h.

◆ operator()() [2/2]

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

Definition at line 41 of file is_threaded.h.

Member Data Documentation

◆ is_threaded_set

is_threaded_sett is_threadedt::is_threaded_set
protected

Definition at line 50 of file is_threaded.h.

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