is_predecessor_oft Struct Reference

Collaboration diagram for is_predecessor_oft:

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:

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_local_variable_table.cpp