diff options
Diffstat (limited to 'src/util/pseudoboolean.cpp')
-rw-r--r-- | src/util/pseudoboolean.cpp | 49 |
1 files changed, 0 insertions, 49 deletions
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 */ |