diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-24 20:16:46 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-24 20:17:05 -0400 |
commit | 363b838e4a0b799da537d60632fe844c5c5e4686 (patch) | |
tree | 83849772ae794ff68bda3f063ae4da81a6075795 /src/util | |
parent | aa3b60104a0026c078eea1d19506e8bf4c3d9763 (diff) |
Some cleanup, fix warnings raised by Debian packager.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/emptyset.h | 52 |
1 files changed, 33 insertions, 19 deletions
diff --git a/src/util/emptyset.h b/src/util/emptyset.h index 2d307b2d4..2f6c54173 100644 --- a/src/util/emptyset.h +++ b/src/util/emptyset.h @@ -1,3 +1,19 @@ +/********************* */ +/*! \file emptyset.h + ** \verbatim + ** Original author: Kshitij Bansal + ** 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 [[ Add one-line brief description here ]] + ** + ** [[ Add lengthier description here ]] + ** \todo document this file + **/ #include "cvc4_public.h" @@ -30,36 +46,34 @@ public: SetType getType() const { return d_type; } - bool operator==(const EmptySet& asa) const throw() { - return d_type == asa.d_type; + bool operator==(const EmptySet& es) const throw() { + return d_type == es.d_type; } - bool operator!=(const EmptySet& asa) const throw() { - return !(*this == asa); + bool operator!=(const EmptySet& es) const throw() { + return !(*this == es); } - bool operator<(const EmptySet& asa) const throw() { - return d_type < asa.d_type; + bool operator<(const EmptySet& es) const throw() { + return d_type < es.d_type; } - bool operator<=(const EmptySet& asa) const throw() { - return d_type <= asa.d_type; + bool operator<=(const EmptySet& es) const throw() { + return d_type <= es.d_type; } - bool operator>(const EmptySet& asa) const throw() { - return !(*this <= asa); + bool operator>(const EmptySet& es) const throw() { + return !(*this <= es); } - bool operator>=(const EmptySet& asa) const throw() { - return !(*this < asa); + bool operator>=(const EmptySet& es) const throw() { + return !(*this < es); } - };/* class EmptySet */ -std::ostream& operator<<(std::ostream& out, const EmptySet& asa) CVC4_PUBLIC; +std::ostream& operator<<(std::ostream& out, const EmptySet& es) CVC4_PUBLIC; struct CVC4_PUBLIC EmptySetHashFunction { - inline size_t operator()(const EmptySet& asa) const { - return TypeHashFunction()(asa.getType()); + inline size_t operator()(const EmptySet& es) const { + return TypeHashFunction()(es.getType()); } -};/* struct EmptysetHashFunction */ - +};/* struct EmptySetHashFunction */ -} +}/* CVC4 namespace */ |