This commit removes the dead psuedoboolean code.

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"