data_dependency_contextt::location_ordert Class Reference

Public Member Functions
bool	operator() (goto_programt::const_targett instruction, goto_programt::const_targett other_instruction) const

Detailed Description

Definition at line 80 of file data_dependency_context.h.

Member Function Documentation

operator()()

bool data_dependency_contextt::location_ordert::operator() ( goto_programt::const_targett  instruction, goto_programt::const_targett  other_instruction  ) const

inline

Definition at line 83 of file data_dependency_context.h.

---

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

• /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/data_dependency_context.h