cprover
|
#include <abstract_object.h>
Public Types | |
typedef abstract_object_pointert | argument_typet |
typedef std::size_t | result_typet |
Public Member Functions | |
bool | operator() (argument_typet const &left, argument_typet const &right) const noexcept |
Definition at line 475 of file abstract_object.h.
Definition at line 477 of file abstract_object.h.
typedef std::size_t abstract_equalert::result_typet |
Definition at line 478 of file abstract_object.h.
|
inlinenoexcept |
Definition at line 479 of file abstract_object.h.