variable_sensitivity_dependence_domaint::dependency_ordert Class Reference

Public Member Functions
bool	operator() (const goto_programt::const_targett &a, const goto_programt::const_targett &b) const

Detailed Description

Definition at line 161 of file variable_sensitivity_dependence_graph.h.

Member Function Documentation

operator()()

bool variable_sensitivity_dependence_domaint::dependency_ordert::operator() ( const goto_programt::const_targett &  a, const goto_programt::const_targett &  b  ) const

inline

Definition at line 164 of file variable_sensitivity_dependence_graph.h.

---

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

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