cvc4-1.3
CVC4::DatatypeHashFunction Struct Reference

A hash function for Datatypes. More...

#include <datatype.h>

Public Member Functions

size_t operator() (const Datatype &dt) const
 
size_t operator() (const Datatype *dt) const
 
size_t operator() (const DatatypeConstructor &dtc) const
 
size_t operator() (const DatatypeConstructor *dtc) const
 

Detailed Description

A hash function for Datatypes.

Needed to store them in hash sets and hash maps.

Definition at line 583 of file datatype.h.

Member Function Documentation

size_t CVC4::DatatypeHashFunction::operator() ( const Datatype dt) const
inline

Definition at line 584 of file datatype.h.

References CVC4::Datatype::getName().

size_t CVC4::DatatypeHashFunction::operator() ( const Datatype dt) const
inline

Definition at line 587 of file datatype.h.

References CVC4::Datatype::getName().

size_t CVC4::DatatypeHashFunction::operator() ( const DatatypeConstructor dtc) const
inline

Definition at line 590 of file datatype.h.

References CVC4::DatatypeConstructor::getName().

size_t CVC4::DatatypeHashFunction::operator() ( const DatatypeConstructor dtc) const
inline

Definition at line 593 of file datatype.h.

References CVC4::DatatypeConstructor::getName().


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