cvc4-1.3
|
#include <bitvector.h>
Public Member Functions | |
BitVector (unsigned size, const Integer &val) | |
BitVector (unsigned size=0) | |
BitVector (unsigned size, unsigned int z) | |
BitVector (unsigned size, unsigned long int z) | |
BitVector (unsigned size, const BitVector &q) | |
BitVector (const std::string &num, unsigned base=2) | |
~BitVector () | |
Integer | toInteger () const |
BitVector & | operator= (const BitVector &x) |
bool | operator== (const BitVector &y) const |
bool | operator!= (const BitVector &y) const |
BitVector | concat (const BitVector &other) const |
BitVector | extract (unsigned high, unsigned low) const |
BitVector | operator^ (const BitVector &y) const |
BitVector | operator| (const BitVector &y) const |
BitVector | operator& (const BitVector &y) const |
BitVector | operator~ () const |
bool | operator< (const BitVector &y) const |
bool | operator> (const BitVector &y) const |
bool | operator<= (const BitVector &y) const |
bool | operator>= (const BitVector &y) const |
BitVector | operator+ (const BitVector &y) const |
BitVector | operator- (const BitVector &y) const |
BitVector | operator- () const |
BitVector | operator* (const BitVector &y) const |
BitVector | setBit (uint32_t i) const |
bool | isBitSet (uint32_t i) const |
BitVector | unsignedDivTotal (const BitVector &y) const |
Total division function that returns 0 when the denominator is 0. More... | |
BitVector | unsignedRemTotal (const BitVector &y) const |
Total division function that returns 0 when the denominator is 0. More... | |
bool | signedLessThan (const BitVector &y) const |
bool | unsignedLessThan (const BitVector &y) const |
bool | signedLessThanEq (const BitVector &y) const |
bool | unsignedLessThanEq (const BitVector &y) const |
BitVector | zeroExtend (unsigned amount) const |
BitVector | signExtend (unsigned amount) const |
BitVector | leftShift (const BitVector &y) const |
BitVector | logicalRightShift (const BitVector &y) const |
BitVector | arithRightShift (const BitVector &y) const |
size_t | hash () const |
std::string | toString (unsigned int base=2) const |
unsigned | getSize () const |
const Integer & | getValue () const |
unsigned | isPow2 () |
Returns k is the integer is equal to 2^{k-1} and zero otherwise. More... | |
Definition at line 29 of file bitvector.h.
|
inline |
Definition at line 53 of file bitvector.h.
|
inline |
Definition at line 58 of file bitvector.h.
|
inline |
Definition at line 61 of file bitvector.h.
|
inline |
Definition at line 66 of file bitvector.h.
|
inline |
Definition at line 71 of file bitvector.h.
|
inline |
Definition at line 375 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 76 of file bitvector.h.
Definition at line 305 of file bitvector.h.
References CVC4::CheckArgument(), CVC4::Integer::divByPow2(), CVC4::Integer::extractBitRange(), CVC4::Integer::oneExtend(), and CVC4::Integer::toUnsignedInt().
Definition at line 100 of file bitvector.h.
|
inline |
Definition at line 104 of file bitvector.h.
|
inline |
Definition at line 354 of file bitvector.h.
|
inline |
Definition at line 358 of file bitvector.h.
|
inline |
Definition at line 337 of file bitvector.h.
Referenced by CVC4::BitVectorHashFunction::operator()().
|
inline |
Definition at line 188 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Returns k is the integer is equal to 2^{k-1} and zero otherwise.
Definition at line 367 of file bitvector.h.
Definition at line 278 of file bitvector.h.
References CVC4::CheckArgument(), CVC4::Integer::multiplyByPow2(), and CVC4::Integer::toUnsignedInt().
Definition at line 293 of file bitvector.h.
References CVC4::CheckArgument(), CVC4::Integer::divByPow2(), and CVC4::Integer::toUnsignedInt().
|
inline |
Definition at line 95 of file bitvector.h.
Definition at line 125 of file bitvector.h.
References CVC4::CheckArgument().
Definition at line 176 of file bitvector.h.
References CVC4::CheckArgument().
Definition at line 157 of file bitvector.h.
References CVC4::CheckArgument().
Definition at line 163 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 171 of file bitvector.h.
|
inline |
Definition at line 140 of file bitvector.h.
|
inline |
Definition at line 148 of file bitvector.h.
Definition at line 82 of file bitvector.h.
|
inline |
Definition at line 90 of file bitvector.h.
|
inline |
Definition at line 144 of file bitvector.h.
|
inline |
Definition at line 152 of file bitvector.h.
Definition at line 113 of file bitvector.h.
References CVC4::CheckArgument().
Definition at line 119 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 131 of file bitvector.h.
|
inline |
Definition at line 182 of file bitvector.h.
References CVC4::CheckArgument(), and CVC4::Integer::setBit().
|
inline |
Definition at line 221 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 238 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 264 of file bitvector.h.
References CVC4::Integer::extractBitRange(), and CVC4::Integer::oneExtend().
|
inline |
Definition at line 78 of file bitvector.h.
|
inline |
Definition at line 341 of file bitvector.h.
Referenced by CVC4::operator<<().
Total division function that returns 0 when the denominator is 0.
Definition at line 196 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 231 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 248 of file bitvector.h.
References CVC4::CheckArgument().
Total division function that returns 0 when the denominator is 0.
Definition at line 210 of file bitvector.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 260 of file bitvector.h.