diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-15 01:32:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-15 01:32:27 +0000 |
commit | 15193d5207679b24cd2f310f71c9428971564b53 (patch) | |
tree | 65407ed8821be30b91ae898a93f1b78902cc37c4 /src/util | |
parent | 3d3d6490f46f9dd7b48b02eed03a66086e32ded1 (diff) |
additional minor changes to get python binding on better footing
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/pseudoboolean.cpp | 4 | ||||
-rw-r--r-- | src/util/pseudoboolean.h | 4 | ||||
-rw-r--r-- | src/util/pseudoboolean.i | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/util/pseudoboolean.cpp b/src/util/pseudoboolean.cpp index 3fa7a774e..655cd8277 100644 --- a/src/util/pseudoboolean.cpp +++ b/src/util/pseudoboolean.cpp @@ -29,7 +29,7 @@ Pseudoboolean::Pseudoboolean(int i) { d_value = (i == 1); } -Pseudoboolean::Pseudoboolean(const Integer& i) { +Pseudoboolean::Pseudoboolean(const CVC4::Integer& i) { CheckArgument(i == 0 || i == 1, i); d_value = (i == 1); } @@ -42,7 +42,7 @@ Pseudoboolean::operator int() const { return d_value ? 1 : 0; } -Pseudoboolean::operator Integer() const { +Pseudoboolean::operator CVC4::Integer() const { return d_value ? 1 : 0; } diff --git a/src/util/pseudoboolean.h b/src/util/pseudoboolean.h index 6d0d4fd26..03cde2d98 100644 --- a/src/util/pseudoboolean.h +++ b/src/util/pseudoboolean.h @@ -31,11 +31,11 @@ class Pseudoboolean { public: Pseudoboolean(bool b); Pseudoboolean(int i); - Pseudoboolean(const Integer& i); + Pseudoboolean(const CVC4::Integer& i); operator bool() const; operator int() const; - operator Integer() const; + operator CVC4::Integer() const; };/* class Pseudoboolean */ diff --git a/src/util/pseudoboolean.i b/src/util/pseudoboolean.i index 2505a7c1e..78c373aa1 100644 --- a/src/util/pseudoboolean.i +++ b/src/util/pseudoboolean.i @@ -4,7 +4,7 @@ %rename(toBool) CVC4::Pseudoboolean::operator bool() const; %rename(toInt) CVC4::Pseudoboolean::operator int() const; -%rename(toInteger) CVC4::Pseudoboolean::operator Integer() const; +%rename(toInteger) CVC4::Pseudoboolean::operator CVC4::Integer() const; %ignore CVC4::operator<<(std::ostream&, CVC4::Pseudoboolean); |