1 2 3 4 5 6 7 8 9 10 11 12 13
#include "theory/arith/arithvar.h" #include <limits> namespace CVC4 { namespace theory { namespace arith { const ArithVar ARITHVAR_SENTINEL = std::numeric_limits<ArithVar>::max(); }/* CVC4::theory::arith namespace */ }/* CVC4::theory namespace */ }/* CVC4 namespace */