cvc4-1.4
|
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. | |
unsigned | low |
The low bit of the range for this extract. | |
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 403 of file bitvector.h.
|
inline |
Definition at line 409 of file bitvector.h.
|
inline |
Definition at line 412 of file bitvector.h.
unsigned CVC4::BitVectorExtract::high |
The high bit of the range for this extract.
Definition at line 405 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 407 of file bitvector.h.
Referenced by CVC4::BitVectorExtractHashFunction::operator()(), CVC4::operator<<(), and operator==().