cvc4-1.3
|
The structure representing the extraction operation for bit-vectors. More...
#include <bitvector.h>
Public Member Functions | |
BitVectorExtract (unsigned high, unsigned low) | |
bool | operator== (const BitVectorExtract &extract) const |
Data Fields | |
unsigned | high |
The high bit of the range for this extract. More... | |
unsigned | low |
The low bit of the range for this extract. More... | |
The structure representing the extraction operation for bit-vectors.
The operation maps bit-vectors to bit-vector of size high - low + 1
by taking the bits at indices high ... low
Definition at line 402 of file bitvector.h.
|
inline |
Definition at line 408 of file bitvector.h.
|
inline |
Definition at line 411 of file bitvector.h.
unsigned CVC4::BitVectorExtract::high |
The high bit of the range for this extract.
Definition at line 404 of file bitvector.h.
Referenced by CVC4::BitVectorExtractHashFunction::operator()(), CVC4::operator<<(), and operator==().
unsigned CVC4::BitVectorExtract::low |
The low bit of the range for this extract.
Definition at line 406 of file bitvector.h.
Referenced by CVC4::BitVectorExtractHashFunction::operator()(), CVC4::operator<<(), and operator==().