diff options
Diffstat (limited to 'src/theory/bv/equality_engine.cpp')
| -rw-r--r-- | src/theory/bv/equality_engine.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/bv/equality_engine.cpp b/src/theory/bv/equality_engine.cpp index 8f75f5e86..b88a3cc86 100644 --- a/src/theory/bv/equality_engine.cpp +++ b/src/theory/bv/equality_engine.cpp @@ -2,4 +2,7 @@ using namespace CVC4::theory::bv; -const size_t NodeIdTraits::null = ((size_t)(-1) << (sizeof(size_t)*8 - NodeIdTraits::s_id_bits)) >> (sizeof(size_t)*8 - NodeIdTraits::s_id_bits); +const size_t BitSizeTraits::id_null = (1u << BitSizeTraits::id_bits) - 1; +const size_t BitSizeTraits::trigger_id_null = (1u << BitSizeTraits::trigger_id_bits) - 1; + + |