| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | SolverTypes.h | 155 friend class ClauseAllocator; variable
226 …ClauseAllocator(uint32_t start_cap) : RegionAllocator<uint32_t>(start_cap), extra_clause_field(fal… in ClauseAllocator() function
227 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/ |
| H A D | SolverTypes.h | 145 friend class ClauseAllocator; variable
218 …ClauseAllocator(uint32_t start_cap) : RegionAllocator<uint32_t>(start_cap), extra_clause_field(fal… in ClauseAllocator() function
219 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | SolverTypes.h | 132 friend class ClauseAllocator; variable
201 …ClauseAllocator(uint32_t start_cap) : RegionAllocator<uint32_t>(start_cap), extra_clause_field(fal… in ClauseAllocator() function
202 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | SolverTypes.h | 199 friend class ClauseAllocator; variable
271 …ClauseAllocator(uint32_t start_cap) : RegionAllocator<uint32_t>(start_cap), extra_clause_field(fal… in ClauseAllocator() function
272 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | SolverTypes.h | 146 friend class ClauseAllocator; variable
224 …ClauseAllocator(uint32_t start_cap) : RegionAllocator<uint32_t>(start_cap), extra_clause_field(fal… in ClauseAllocator() function
225 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/cad/yosys/yosys-yosys-0.12/libs/minisat/ |
| H A D | SolverTypes.h | 149 friend class ClauseAllocator; variable
238 ClauseAllocator(uint32_t start_cap) : ra(start_cap), extra_clause_field(false){} in ClauseAllocator() function
239 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | SolverTypes.h | 149 friend class ClauseAllocator; variable
238 ClauseAllocator(uint32_t start_cap) : ra(start_cap), extra_clause_field(false){} in ClauseAllocator() function
239 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/ |
| H A D | SolverTypes.h | 149 friend class ClauseAllocator; variable
238 ClauseAllocator(uint32_t start_cap) : ra(start_cap), extra_clause_field(false){} in ClauseAllocator() function
239 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/math/vampire/vampire-4.5.1/Minisat/core/ |
| H A D | SolverTypes.h | 154 friend class ClauseAllocator; variable
257 ClauseAllocator(uint32_t start_cap) : ra(start_cap), extra_clause_field(false){} in ClauseAllocator() function
258 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/math/glucose/glucose-syrup-4.1/core/ |
| H A D | SolverTypes.h | 181 friend class ClauseAllocator; variable
287 …ClauseAllocator(uint32_t start_cap) : RegionAllocator<uint32_t>(start_cap), extra_clause_field(fal… in ClauseAllocator() function
288 ClauseAllocator() : extra_clause_field(false){} in ClauseAllocator() function
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | clauseallocator.cpp | 64 ClauseAllocator::ClauseAllocator() : in ClauseAllocator() function in ClauseAllocator
|
| H A D | propengine.h | 63 class ClauseAllocator; variable
|
| H A D | clause.h | 45 class ClauseAllocator; variable
|
| H A D | cnf.h | 46 class ClauseAllocator; variable
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | clauseallocator.cpp | 64 ClauseAllocator::ClauseAllocator() : in ClauseAllocator() function in ClauseAllocator
|
| H A D | propengine.h | 63 class ClauseAllocator; variable
|
| H A D | clause.h | 45 class ClauseAllocator; variable
|
| H A D | cnf.h | 46 class ClauseAllocator; variable
|