src/theory/arith/arithvar.cpp

   1 /******************************************************************************
   2  * Top contributors (to current version):
   3  *   Tim King
   4  *
   5  * This file is part of the cvc5 project.
   6  *
   7  * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
   8  * in the top-level source directory and their institutional affiliations.
   9  * All rights reserved.  See the file COPYING in the top-level source
  10  * directory for licensing information.
  11  * ****************************************************************************
  12  *
  13  * [[ Add one-line brief description here ]]
  14  *
  15  * [[ Add lengthier description here ]]
  16  * \todo document this file
  17  */
  18
  19 #include "theory/arith/arithvar.h"
  20 #include <limits>
  21 #include <set>
  22
  23 namespace cvc5 {
  24 namespace theory {
  25 namespace arith {
  26
  27 const ArithVar ARITHVAR_SENTINEL = std::numeric_limits<ArithVar>::max();
  28
  29 bool debugIsASet(const std::vector<ArithVar>& variables){
  30   std::set<ArithVar> asSet(variables.begin(), variables.end());
  31   return asSet.size() == variables.size();
  32 }
  33
  34 }  // namespace arith
  35 }  // namespace theory
  36 }  // namespace cvc5