diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-22 23:19:14 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-22 23:19:14 +0000 |
commit | b2ff9864ed706911022d7468cde7ba55d07ab1fd (patch) | |
tree | 6ad254635c153c71efffa3852905a66162b8fd22 /src/util/triple.h | |
parent | d44fb63c06b20cc2f351f5c7eff8eb752ae7e6a2 (diff) |
removing unused functionality from util; related to bug #222
Diffstat (limited to 'src/util/triple.h')
-rw-r--r-- | src/util/triple.h | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/src/util/triple.h b/src/util/triple.h deleted file mode 100644 index 3a6f841c4..000000000 --- a/src/util/triple.h +++ /dev/null @@ -1,43 +0,0 @@ -/********************* */ -/*! \file triple.h - ** \verbatim - ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University - ** See the file COPYING in the top-level source directory for licensing - ** information.\endverbatim - ** - ** \brief Similar to std::pair<>, for triples - ** - ** Similar to std::pair<>, for triples. Once we move to c++0x, this - ** can be removed in favor of (standard-provided) N-ary tuples. - **/ - -#include "cvc4_private.h" - -#ifndef __CVC4__TRIPLE_H -#define __CVC4__TRIPLE_H - -namespace CVC4 { - -template <class T1, class T2, class T3> -class triple { -public: - T1 first; - T2 second; - T3 third; -}; - -template <class T1, class T2, class T3> -inline triple<T1, T2, T3> -make_triple(const T1& t1, const T2& t2, const T3& t3) { - return triple<T1, T2, T3>(t1, t2, t3); -} - -}/* CVC4 namespace */ - -#endif /* __CVC4__TRIPLE_H */ |