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 140 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 144 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 146 of file java_local_variable_table.cpp.

Member Data Documentation

order

const predecessor_mapt& is_predecessor_oft::order

Definition at line 142 of file java_local_variable_table.cpp.

---

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

• /builddir/build/BUILD/cbmc-cbmc-5.11/jbmc/src/java_bytecode/java_local_variable_table.cpp