cvc4-1.3
CVC4::TypeHashFunction Struct Reference

Hash function for Types. More...

#include <type.h>

Public Member Functions

size_t operator() (const CVC4::Type &t) const
 Return a hash code for type t. More...
 

Detailed Description

Hash function for Types.

Definition at line 68 of file type.h.

Member Function Documentation

size_t CVC4::TypeHashFunction::operator() ( const CVC4::Type t) const

Return a hash code for type t.


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