1 /********************* */
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
12 ** \brief A class representing a record definition
14 ** A class representing a record definition.
17 #include "util/record.h"
23 std::ostream
& operator<<(std::ostream
& os
, const Record
& r
) {
26 for(Record::iterator i
= r
.begin(); i
!= r
.end(); ++i
) {
30 os
<< (*i
).first
<< ":" << (*i
).second
;