CBMC
Public Member Functions | Static Public Member Functions | List of all members
goto_programt::instructiont::target_less_than Struct Reference

A total order over targett and const_targett. More...

#include <goto_program.h>

Public Member Functions

bool operator() (const const_targett &i1, const const_targett &i2) const
 
bool operator() (const targett &i1, const targett &i2) const
 

Static Public Member Functions

static bool order_const_target (const const_targett i1, const const_targett i2)
 

Detailed Description

A total order over targett and const_targett.

Note that the specific ordering may vary from execution to execution for it uses comparison on virtual memory locations. If a consistent ordering is required, implement a comparison on some aspect of instructiont that is stable at the particular call site.

Definition at line 391 of file goto_program.h.

Member Function Documentation

◆ operator()() [1/2]

bool goto_programt::instructiont::target_less_than::operator() ( const const_targett &  i1,
const const_targett &  i2 
) const
inline

Definition at line 402 of file goto_program.h.

◆ operator()() [2/2]

bool goto_programt::instructiont::target_less_than::operator() ( const targett &  i1,
const targett &  i2 
) const
inline

Definition at line 407 of file goto_program.h.

◆ order_const_target()

static bool goto_programt::instructiont::target_less_than::order_const_target ( const const_targett  i1,
const const_targett  i2 
)
inlinestatic

Definition at line 394 of file goto_program.h.

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