1 /********************* */
2 /*! \file abstract_value.cpp
4 ** Top contributors (to current version):
5 ** Tim King, Morgan Deters
6 ** This file is part of the CVC4 project.
7 ** Copyright (c) 2009-2019 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.\endverbatim
12 ** \brief Representation of abstract values
14 ** Representation of abstract values.
17 #include "util/abstract_value.h"
23 #include "base/check.h"
29 std::ostream
& operator<<(std::ostream
& out
, const AbstractValue
& val
) {
30 return out
<< "@" << val
.getIndex();
33 AbstractValue::AbstractValue(Integer index
) : d_index(index
)
35 PrettyCheckArgument(index
>= 1,
37 "index >= 1 required for abstract value, not `%s'",
38 index
.toString().c_str());