location_number_less_thant Struct Reference

Public Member Functions
bool	operator() (const goto_programt::targett &i1, const goto_programt::targett &i2) const

Detailed Description

Definition at line 89 of file ensure_one_backedge_per_target.cpp.

Member Function Documentation

operator()()

bool location_number_less_thant::operator() ( const goto_programt::targett &  i1, const goto_programt::targett &  i2  ) const

inline

Definition at line 91 of file ensure_one_backedge_per_target.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-programs/ensure_one_backedge_per_target.cpp