CBMC
Loading...
Searching...
No Matches
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:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /