diff options
Diffstat (limited to 'src/util/tuple.h')
-rw-r--r-- | src/util/tuple.h | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/src/util/tuple.h b/src/util/tuple.h deleted file mode 100644 index 733ecf189..000000000 --- a/src/util/tuple.h +++ /dev/null @@ -1,53 +0,0 @@ -/****************************************************************************** - * Top contributors (to current version): - * Morgan Deters, Mathias Preiner, Tim King - * - * This file is part of the cvc5 project. - * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS - * in the top-level source directory and their institutional affiliations. - * All rights reserved. See the file COPYING in the top-level source - * directory for licensing information. - * **************************************************************************** - * - * Tuple operators. - */ - -#include "cvc5_public.h" - -#ifndef CVC5__TUPLE_H -#define CVC5__TUPLE_H - -#include <iostream> -#include <vector> -#include <utility> - -namespace cvc5 { - -class TupleUpdate -{ - unsigned d_index; - - public: - TupleUpdate(unsigned index) : d_index(index) {} - unsigned getIndex() const { return d_index; } - bool operator==(const TupleUpdate& t) const { return d_index == t.d_index; } - bool operator!=(const TupleUpdate& t) const { return d_index != t.d_index; } -}; /* class TupleUpdate */ - -struct TupleUpdateHashFunction -{ - inline size_t operator()(const TupleUpdate& t) const { - return t.getIndex(); - } -}; /* struct TupleUpdateHashFunction */ - -std::ostream& operator<<(std::ostream& out, const TupleUpdate& t); - -inline std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) { - return out << "[" << t.getIndex() << "]"; -} - -} // namespace cvc5 - -#endif /* CVC5__TUPLE_H */ |