cvc4-1.4
CVC4::RecordHashFunction Struct Reference

#include <record.h>

Public Member Functions

size_t operator() (const Record &r) const
 

Detailed Description

Definition at line 139 of file record.h.

Member Function Documentation

size_t CVC4::RecordHashFunction::operator() ( const Record r) const
inline

Definition at line 140 of file record.h.

References CVC4::Record::begin(), CVC4_PUBLIC, CVC4::Record::end(), and CVC4::operator<<().


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