diff options
Diffstat (limited to 'src/expr/record.cpp')
-rw-r--r-- | src/expr/record.cpp | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/expr/record.cpp b/src/expr/record.cpp new file mode 100644 index 000000000..dfcba0d46 --- /dev/null +++ b/src/expr/record.cpp @@ -0,0 +1,36 @@ +/********************* */ +/*! \file record.cpp + ** \verbatim + ** Original author: Morgan Deters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2014 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief A class representing a record definition + ** + ** A class representing a record definition. + **/ + +#include "expr/record.h" + +namespace CVC4 { + +std::ostream& operator<<(std::ostream& os, const Record& r) { + os << "[# "; + bool first = true; + for(Record::iterator i = r.begin(); i != r.end(); ++i) { + if(!first) { + os << ", "; + } + os << (*i).first << ":" << (*i).second; + first = false; + } + os << " #]"; + + return os; +} + +}/* CVC4 namespace */ |