src/util/abstract_value.cpp

   1 /*********************                                                        */
   2 /*! \file abstract_value.cpp
   3  ** \verbatim
   4  ** Original author: Morgan Deters
   5  ** Major contributors: none
   6  ** Minor contributors (to current version): none
   7  ** This file is part of the CVC4 project.
   8  ** Copyright (c) 2009-2014  New York University and The University of Iowa
   9  ** See the file COPYING in the top-level source directory for licensing
  10  ** information.\endverbatim
  11  **
  12  ** \brief Representation of abstract values
  13  **
  14  ** Representation of abstract values.
  15  **/
  16
  17 #include "util/abstract_value.h"
  18 #include <iostream>
  19 #include <sstream>
  20 #include <string>
  21
  22 using namespace std;
  23
  24 namespace CVC4 {
  25
  26 std::ostream& operator<<(std::ostream& out, const AbstractValue& val) {
  27   return out << "@" << val.getIndex();
  28 }
  29
  30 }/* CVC4 namespace */