cvc4-1.3
CVC4::BitVectorBitOfHashFunction Struct Reference

Hash function for the BitVectorBitOf objects. More...

#include <bitvector.h>

Public Member Functions

size_t operator() (const BitVectorBitOf &b) const
 

Detailed Description

Hash function for the BitVectorBitOf objects.

Definition at line 445 of file bitvector.h.

Member Function Documentation

size_t CVC4::BitVectorBitOfHashFunction::operator() ( const BitVectorBitOf b) const
inline

Definition at line 446 of file bitvector.h.

References CVC4::BitVectorBitOf::bitIndex.


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