abstract_equalert Struct Reference

#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

Detailed Description

Definition at line 502 of file abstract_object.h.

Member Typedef Documentation

argument_typet

typedef abstract_object_pointert abstract_equalert::argument_typet

Definition at line 504 of file abstract_object.h.

result_typet

typedef std::size_t abstract_equalert::result_typet

Definition at line 505 of file abstract_object.h.

Member Function Documentation

operator()()

bool abstract_equalert::operator() ( argument_typet const &  left, argument_typet const &  right  ) const

inlinenoexcept

Definition at line 506 of file abstract_object.h.

---

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

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