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 | |
parent | 76b8bdc51693af0867de94fe6002e8a8bec9e5f9 (diff) |
This commit removes the dead psuedoboolean code.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Makefile.am | 3 | ||||
-rw-r--r-- | src/util/pseudoboolean.cpp | 49 | ||||
-rw-r--r-- | src/util/pseudoboolean.h | 54 | ||||
-rw-r--r-- | src/util/pseudoboolean.i | 11 |
4 files changed, 0 insertions, 117 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 4787457cf..cded1e5a3 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -72,8 +72,6 @@ libutil_la_SOURCES = \ boolean_simplification.cpp \ ite_removal.h \ ite_removal.cpp \ - pseudoboolean.h \ - pseudoboolean.cpp \ node_visitor.h \ index.h @@ -171,7 +169,6 @@ EXTRA_DIST = \ options.i \ ascription_type.i \ rational.i \ - pseudoboolean.i \ hash.i MOSTLYCLEANFILES = \ diff --git a/src/util/pseudoboolean.cpp b/src/util/pseudoboolean.cpp deleted file mode 100644 index 655cd8277..000000000 --- a/src/util/pseudoboolean.cpp +++ /dev/null @@ -1,49 +0,0 @@ -/********************* */ -/*! \file pseudoboolean.cpp - ** \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 "util/pseudoboolean.h" - -namespace CVC4 { - -Pseudoboolean::Pseudoboolean(bool b) : - d_value(b) { -} - -Pseudoboolean::Pseudoboolean(int i) { - CheckArgument(i == 0 || i == 1, i); - d_value = (i == 1); -} - -Pseudoboolean::Pseudoboolean(const CVC4::Integer& i) { - CheckArgument(i == 0 || i == 1, i); - d_value = (i == 1); -} - -Pseudoboolean::operator bool() const { - return d_value; -} - -Pseudoboolean::operator int() const { - return d_value ? 1 : 0; -} - -Pseudoboolean::operator CVC4::Integer() const { - return d_value ? 1 : 0; -} - -}/* CVC4 namespace */ 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 */ diff --git a/src/util/pseudoboolean.i b/src/util/pseudoboolean.i deleted file mode 100644 index 78c373aa1..000000000 --- a/src/util/pseudoboolean.i +++ /dev/null @@ -1,11 +0,0 @@ -%{ -#include "util/pseudoboolean.h" -%} - -%rename(toBool) CVC4::Pseudoboolean::operator bool() const; -%rename(toInt) CVC4::Pseudoboolean::operator int() const; -%rename(toInteger) CVC4::Pseudoboolean::operator CVC4::Integer() const; - -%ignore CVC4::operator<<(std::ostream&, CVC4::Pseudoboolean); - -%include "util/pseudoboolean.h" |