summaryrefslogtreecommitdiff
path: root/src/theory/arith/arithvar.cpp
blob: 76b143fff403767cd0918f62367b406082cf81d2 (plain) 
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 */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback