cvc4-1.4
|
The structure representing the extraction of one Boolean bit. More...
#include <bitvector.h>
Public Member Functions | |
BitVectorBitOf (unsigned i) | |
bool | operator== (const BitVectorBitOf &other) const |
Data Fields | |
unsigned | bitIndex |
The index of the bit. | |
The structure representing the extraction of one Boolean bit.
Definition at line 432 of file bitvector.h.
|
inline |
Definition at line 435 of file bitvector.h.
|
inline |
Definition at line 438 of file bitvector.h.
References bitIndex.
unsigned CVC4::BitVectorBitOf::bitIndex |
The index of the bit.
Definition at line 434 of file bitvector.h.
Referenced by CVC4::BitVectorBitOfHashFunction::operator()(), CVC4::operator<<(), and operator==().