abstract_hashert Struct Reference

#include <abstract_object.h>

Public Types
typedef abstract_object_pointert	argument_typet
typedef std::size_t	result_typet

Public Member Functions
result_typet	operator() (argument_typet const &s) const noexcept

Detailed Description

Definition at line 492 of file abstract_object.h.

Member Typedef Documentation

argument_typet

typedef abstract_object_pointert abstract_hashert::argument_typet

Definition at line 494 of file abstract_object.h.

result_typet

typedef std::size_t abstract_hashert::result_typet

Definition at line 495 of file abstract_object.h.

Member Function Documentation

operator()()

result_typet abstract_hashert::operator() ( argument_typet const &  s ) const

inlinenoexcept

Definition at line 496 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