summaryrefslogtreecommitdiff
path: root/src/theory/bv/equality_engine.cpp
blob: 8f75f5e86da87c2a2562a00ab783e7c6d34a2146 (plain) 
1
2
3
4
5

#include "equality_engine.h"

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);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback