diff options
author | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
commit | 3b93d45dab9513195d5604a069423ed13e173f49 (patch) | |
tree | 96497114c06755a14efe0d30c680703c9aa5380b /src/util/pseudoboolean.h | |
parent | 76b8bdc51693af0867de94fe6002e8a8bec9e5f9 (diff) |
This commit removes the dead psuedoboolean code.
Diffstat (limited to 'src/util/pseudoboolean.h')
-rw-r--r-- | src/util/pseudoboolean.h | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/src/util/pseudoboolean.h b/src/util/pseudoboolean.h deleted file mode 100644 index 03cde2d98..000000000 --- a/src/util/pseudoboolean.h +++ /dev/null @@ -1,54 +0,0 @@ -/********************* */ -/*! \file pseudoboolean.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, 2011 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 A pseudoboolean constant - ** - ** A pseudoboolean constant. - **/ - -#include "cvc4_public.h" - -#ifndef __CVC4__PSEUDOBOOLEAN_H -#define __CVC4__PSEUDOBOOLEAN_H - -#include "util/integer.h" - -namespace CVC4 { - -class Pseudoboolean { - bool d_value; - -public: - Pseudoboolean(bool b); - Pseudoboolean(int i); - Pseudoboolean(const CVC4::Integer& i); - - operator bool() const; - operator int() const; - operator CVC4::Integer() const; - -};/* class Pseudoboolean */ - -struct PseudobooleanHashStrategy { - static inline size_t hash(CVC4::Pseudoboolean pb) { - return int(pb); - } -};/* struct PseudobooleanHashStrategy */ - -inline std::ostream& operator<<(std::ostream& os, CVC4::Pseudoboolean pb) { - return os << int(pb); -} - -}/* CVC4 namespace */ - -#endif /* __CVC4__PSEUDOBOOLEAN_H */ |