CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
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 486 of file abstract_object.h.

Member Typedef Documentation

◆  argument_typet

typedef abstract_object_pointert abstract_equalert::argument_typet

Definition at line 488 of file abstract_object.h.

◆  result_typet

typedef std::size_t abstract_equalert::result_typet

Definition at line 489 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 490 of file abstract_object.h.

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

AltStyle によって変換されたページ (->オリジナル) /