diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-12 19:31:17 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-12 19:31:17 +0200 |
| commit | b1d39aa8656f8440eb748fbc7b5673d2129a2308 (patch) | |
| tree | 1dfda52cfc533774c99ff3809a9e68056c21c919 /libs | |
| parent | bf2c149329b8823157a346301525e952ddf268e0 (diff) | |
| parent | a42dd4549b38766ff31c26682d56a1250aad2c0b (diff) | |
| download | yosys-b1d39aa8656f8440eb748fbc7b5673d2129a2308.tar.gz yosys-b1d39aa8656f8440eb748fbc7b5673d2129a2308.tar.bz2 yosys-b1d39aa8656f8440eb748fbc7b5673d2129a2308.zip | |
Merge branch 'master' of github.com:cliffordwolf/yosys
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/ezsat/ezsat.cc | 3 | ||||
| -rw-r--r-- | libs/ezsat/ezsat.h | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index f21c8ee2a..e37031314 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -24,6 +24,9 @@ #include <stdlib.h> #include <assert.h> +const int ezSAT::TRUE = 1; +const int ezSAT::FALSE = 2; + ezSAT::ezSAT() { literal("TRUE"); diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 8371071ed..2674d83df 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -44,8 +44,8 @@ public: OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE }; - const int TRUE = 1; - const int FALSE = 2; + static const int TRUE; + static const int FALSE; private: std::map<std::string, int> literalsCache; |