diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-10-10 17:06:02 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-10-10 17:07:24 +0200 |
| commit | 7cb0d3aa1acf37025e82846f809d066356a98843 (patch) | |
| tree | 876138751aacae1e16f8793efce55955461450fc /libs/ezsat/ezsat.h | |
| parent | 4569a747f8af3880e23408eb93323afc8088b78b (diff) | |
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Diffstat (limited to 'libs/ezsat/ezsat.h')
| -rw-r--r-- | libs/ezsat/ezsat.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index c5ef6b0a..cac6ff0f 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -34,7 +34,7 @@ class ezSAT // the number zero is not used as valid token number and is used to encode // unused parameters for the functions. // - // positive numbers are literals, with 1 = TRUE and 2 = FALSE; + // positive numbers are literals, with 1 = CONST_TRUE and 2 = CONST_FALSE; // // negative numbers are non-literal expressions. each expression is represented // by an operator id and a list of expressions (literals or non-literals). @@ -44,8 +44,8 @@ public: OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE }; - static const int TRUE; - static const int FALSE; + static const int CONST_TRUE; + static const int CONST_FALSE; private: bool flag_keep_cnf; |