CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
is_predecessor_oft Struct Reference
+ Collaboration diagram for is_predecessor_oft:
[フレーム]
[legend]

Public Member Functions

  is_predecessor_oft (const predecessor_mapt &_order)
 
bool  operator() (local_variable_with_holest *a, local_variable_with_holest *b) const
 

Public Attributes

const predecessor_mapt &  order
 

Detailed Description

Definition at line 161 of file java_local_variable_table.cpp.

Constructor & Destructor Documentation

◆  is_predecessor_oft()

is_predecessor_oft::is_predecessor_oft ( const predecessor_mapt &  _order )
inlineexplicit

Definition at line 165 of file java_local_variable_table.cpp.

Member Function Documentation

◆  operator()()

bool is_predecessor_oft::operator() ( local_variable_with_holest *  a,
local_variable_with_holest *  b 
) const
inline

Definition at line 167 of file java_local_variable_table.cpp.

Member Data Documentation

◆  order

const predecessor_mapt& is_predecessor_oft::order

Definition at line 163 of file java_local_variable_table.cpp.

The documentation for this struct was generated from the following file:

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