|
Function Name  |
Hit count  |
| cvc5::internal::BitVector::mkRandom(unsigned int) |
2 |
| cvc5::internal::BitVector::is_one() const |
2 |
| cvc5::internal::BitVector::mkMaxSigned(unsigned int) |
39 |
| cvc5::internal::BitVector::mkZero(unsigned int) |
41 |
| cvc5::internal::BitVector::mkOne(unsigned int) |
45 |
| cvc5::internal::BitVector::mkMinSigned(unsigned int) |
127 |
| cvc5::internal::operator>(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
474 |
| cvc5::internal::operator>=(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
986 |
| cvc5::internal::operator<(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
1273 |
| cvc5::internal::BitVector::setBit(unsigned int, bool) |
2269 |
| cvc5::internal::operator<=(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
2560 |
| cvc5::internal::operator^(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
3211 |
| cvc5::internal::BitVector::unsignedLessThanEq(cvc5::internal::BitVector const&) const |
13604 |
| cvc5::internal::BitVector::arithRightShift(cvc5::internal::BitVector const&) const |
20623 |
| cvc5::internal::BitVector::toInteger() const |
31750 |
| cvc5::internal::BitVector::logicalRightShift(cvc5::internal::BitVector const&) const |
57892 |
| cvc5::internal::BitVector::unsignedLessThan(cvc5::internal::BitVector const&) const |
58117 |
| cvc5::internal::BitVector::unsignedDivTotal(cvc5::internal::BitVector const&) const |
62472 |
| cvc5::internal::BitVector::unsignedRemTotal(cvc5::internal::BitVector const&) const |
67332 |
| cvc5::internal::BitVector::signedLessThan(cvc5::internal::BitVector const&) const |
75292 |
| cvc5::internal::BitVector::BitVector(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned int) |
129798 |
| cvc5::internal::BitVector::isBitSet(unsigned int) const |
140634 |
| cvc5::internal::BitVector::toString[abi:cxx11](unsigned int) const |
174309 |
| cvc5::internal::BitVector::isPow2() const |
194988 |
| cvc5::internal::BitVector::concat(cvc5::internal::BitVector const&) const |
307565 |
| cvc5::internal::operator|(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
327557 |
| cvc5::internal::operator*(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
475649 |
| cvc5::internal::BitVector::zeroExtend(unsigned int) const |
588835 |
| cvc5::internal::operator&(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
660812 |
| cvc5::internal::BitVector::extract(unsigned int, unsigned int) const |
898272 |
| cvc5::internal::operator!=(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
1162768 |
| cvc5::internal::BitVector::mkOnes(unsigned int) |
1331928 |
| cvc5::internal::BitVector::signExtend(unsigned int) const |
1529468 |
| cvc5::internal::operator-(cvc5::internal::BitVector const&) |
1600126 |
| cvc5::internal::BitVector::signedLessThanEq(cvc5::internal::BitVector const&) const |
1686102 |
| cvc5::internal::BitVector::leftShift(cvc5::internal::BitVector const&) const |
2340578 |
| cvc5::internal::operator-(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
2835841 |
| cvc5::internal::BitVector::toSignedInteger() const |
3522848 |
| cvc5::internal::BitVector::hash() const |
4530383 |
| cvc5::internal::operator~(cvc5::internal::BitVector const&) |
4790630 |
| cvc5::internal::operator+(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
7537960 |
| cvc5::internal::operator==(cvc5::internal::BitVector const&, cvc5::internal::BitVector const&) |
19028572 |
| cvc5::internal::BitVector::getValue() const |
63481078 |
| cvc5::internal::BitVector::getSize() const |
87667789 |