cvc4-1.3
|
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. More... | |
The structure representing the extraction of one Boolean bit.
Definition at line 431 of file bitvector.h.
|
inline |
Definition at line 434 of file bitvector.h.
|
inline |
Definition at line 437 of file bitvector.h.
References bitIndex.
unsigned CVC4::BitVectorBitOf::bitIndex |
The index of the bit.
Definition at line 433 of file bitvector.h.
Referenced by CVC4::BitVectorBitOfHashFunction::operator()(), CVC4::operator<<(), and operator==().