Searched defs:ConfiguratorProxy (Results 1 – 3 of 3) sorted by relevance
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | clasp_facade.cpp | 47 struct ConfiguratorProxy { struct
48 enum { OnceBit = 62, AcquireBit = 61 };
49 …ConfiguratorProxy(Configurator* c, Ownership_t::Type own, bool once) : cfg(reinterpret_cast<uintp>… in ConfiguratorProxy() function
54 bool applyConfig(Solver& s) { in applyConfig()
60 void prepare(SharedContext& ctx) { in prepare()
66 void unfreeze(SharedContext& ctx) { in unfreeze()
69 void destroy() { if (test_bit(cfg, AcquireBit)) { delete ptr(); } } in destroy()
70 Configurator* ptr() const { in ptr()
74 uint64 cfg;
75 uint64 set;
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | clasp_facade.cpp | 47 struct ConfiguratorProxy { struct
48 enum { OnceBit = 62, AcquireBit = 61 };
49 …ConfiguratorProxy(Configurator* c, Ownership_t::Type own, bool once) : cfg(reinterpret_cast<uintp>… in ConfiguratorProxy() function
54 bool applyConfig(Solver& s) { in applyConfig()
60 void prepare(SharedContext& ctx) { in prepare()
66 void unfreeze(SharedContext& ctx) { in unfreeze()
69 void destroy() { if (test_bit(cfg, AcquireBit)) { delete ptr(); } } in destroy()
70 Configurator* ptr() const { in ptr()
74 uint64 cfg;
75 uint64 set;
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | clasp_facade.cpp | 47 struct ConfiguratorProxy { struct
48 enum { OnceBit = 62, AcquireBit = 61 };
49 …ConfiguratorProxy(Configurator* c, Ownership_t::Type own, bool once) : cfg(reinterpret_cast<uintp>… in ConfiguratorProxy() argument
54 bool applyConfig(Solver& s) { in applyConfig()
60 void prepare(SharedContext& ctx) { in prepare()
66 void unfreeze(SharedContext& ctx) { in unfreeze()
69 void destroy() { if (test_bit(cfg, AcquireBit)) { delete ptr(); } } in destroy()
70 Configurator* ptr() const { in ptr()
74 uint64 cfg;
75 uint64 set;
|