cprover
|
Public Member Functions | |
bool | operator() (goto_programt::const_targett instruction, goto_programt::const_targett other_instruction) const |
Definition at line 79 of file data_dependency_context.h.
|
inline |
Definition at line 82 of file data_dependency_context.h.