cvc4-1.3
CVC4::UninterpretedConstantHashFunction Struct Reference

Hash function for the BitVector constants. More...

#include <uninterpreted_constant.h>

Public Member Functions

size_t operator() (const UninterpretedConstant &uc) const
 

Detailed Description

Hash function for the BitVector constants.

Definition at line 78 of file uninterpreted_constant.h.

Member Function Documentation

size_t CVC4::UninterpretedConstantHashFunction::operator() ( const UninterpretedConstant uc) const
inline

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