| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | solvertypesmini.h.in | 123 constexpr explicit lbool(uint8_t v) : value(v) { } function
124 constexpr lbool() : value(0) { } function
125 constexpr explicit lbool(bool x) : value(!x) { } function
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | solvertypesmini.h.in | 123 constexpr explicit lbool(uint8_t v) : value(v) { } function
124 constexpr lbool() : value(0) { } function
125 constexpr explicit lbool(bool x) : value(!x) { } function
|
| /dports/lang/yap/yap-6.2.2/packages/swi-minisat2/C/ |
| H A D | SolverTypes.h | 76 explicit lbool(int v) : value(v) { } in lbool() function
79 lbool() : value(0) { } in lbool() function
80 lbool(bool x) : value((int)x*2-1) { } in lbool() function
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | lbool.h | 23 typedef enum { l_false = -1, l_undef, l_true } lbool; typedef
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | lbool.h | 23 typedef enum { l_false = -1, l_undef, l_true } lbool; typedef
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/ldsb/ |
| H A D | ldsb.h | 12 class lbool; variable
|
| /dports/math/stp/stp-2.3.3/include/stp/Sat/ |
| H A D | SATSolver.h | 58 typedef uint8_t lbool; typedef
|
| /dports/math/chuffed/chuffed-e04bedd/chuffed/core/ |
| H A D | sat-types.h | 54 explicit lbool(int v) : value(v) { } in lbool() function
57 lbool() : value(0) { } in lbool() function
58 lbool(bool x) : value((int)x*2-1) { } in lbool() function
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | SolverTypes.h | 115 explicit lbool(uint8_t v) : value(v) { } in lbool() function
117 lbool() : value(0) { } in lbool() function
118 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/ |
| H A D | SolverTypes.h | 94 explicit lbool(uint8_t v) : value(v) { } in lbool() function
96 lbool() : value(0) { } in lbool() function
97 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | SolverTypes.h | 92 explicit lbool(uint8_t v) : value(v) { } in lbool() function
94 lbool() : value(0) { } in lbool() function
95 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | SolverTypes.h | 118 explicit lbool(uint8_t v) : value(v) { } in lbool() function
120 lbool() : value(0) { } in lbool() function
121 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | SolverTypes.h | 101 explicit lbool(uint8_t v) : value(v) { } in lbool() function
103 lbool() : value(0) { } in lbool() function
104 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/cad/yosys/yosys-yosys-0.12/libs/minisat/ |
| H A D | SolverTypes.h | 98 explicit lbool(uint8_t v) : value(v) { } in lbool() function
100 lbool() : value(0) { } in lbool() function
101 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | SolverTypes.h | 98 explicit lbool(uint8_t v) : value(v) { } in lbool() function
100 lbool() : value(0) { } in lbool() function
101 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/ |
| H A D | SolverTypes.h | 98 explicit lbool(uint8_t v) : value(v) { } in lbool() function
100 lbool() : value(0) { } in lbool() function
101 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/math/vampire/vampire-4.5.1/Minisat/core/ |
| H A D | SolverTypes.h | 103 explicit lbool(uint8_t v) : value(v) { } in lbool() function
105 lbool() : value(0) { } in lbool() function
106 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/math/glucose/glucose-syrup-4.1/core/ |
| H A D | SolverTypes.h | 124 explicit lbool(uint8_t v) : value(v) { } in lbool() function
126 lbool() : value(0) { } in lbool() function
127 explicit lbool(bool x) : value(!x) { } in lbool() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satVec.h | 133 typedef char lbool; typedef
|
| /dports/math/igraph/igraph-0.9.5/vendor/glpk/minisat/ |
| H A D | minisat.h | 46 typedef int lbool; typedef
|
| /dports/math/glpk/glpk-5.0/src/minisat/ |
| H A D | minisat.h | 46 typedef int lbool; typedef
|