Home
last modified time | relevance | path

Searched refs:d_modules (Results 1 – 23 of 23) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp175 d_modules.push_back(d_qcf.get()); in QuantifiersEngine()
179 d_modules.push_back(d_sg_gen.get()); in QuantifiersEngine()
183 d_modules.push_back(d_inst_engine.get()); in QuantifiersEngine()
187 d_modules.push_back(d_i_cbqi.get()); in QuantifiersEngine()
195 d_modules.push_back(d_synth_e.get()); in QuantifiersEngine()
202 d_modules.push_back(d_bint.get()); in QuantifiersEngine()
211 d_modules.push_back(d_rr_engine.get()); in QuantifiersEngine()
219 d_modules.push_back(d_qsplit.get()); in QuantifiersEngine()
231 d_modules.push_back(d_fs.get()); in QuantifiersEngine()
430 d_modules[i]->presolve(); in presolve()
[all …]
H A Dquantifiers_engine.h323 std::vector<QuantifiersModule*> d_modules; variable
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/thrift/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
/dports/net/storj/storj-1.45.3/vendor/github.com/apache/thrift/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
156 d_test_modules__ = $(d_modules)
/dports/www/fabio/fabio-1.5.14/vendor/github.com/apache/thrift/thrift-da1169d75b15/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
156 d_test_modules__ = $(d_modules)
/dports/devel/thrift-cpp/thrift-0.14.0/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
H A DMakefile.in611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules)
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
H A DMakefile611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
/dports/devel/thrift/thrift-0.14.0/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
H A DMakefile.in611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules)
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
H A DMakefile611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
/dports/devel/thrift-c_glib/thrift-0.14.0/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
H A DMakefile.in611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules)
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
H A DMakefile611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
/dports/misc/concourse/concourse-6.7.2/vendor/github.com/apache/thrift/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
/dports/devel/node-thrift/thrift-0.14.0/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
H A DMakefile.in611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules)
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
H A DMakefile611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
/dports/devel/py-thrift/thrift-0.14.0/lib/d/
H A DMakefile.am90 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
97 $(d_openssl_dependent_modules),$(d_modules))
160 d_test_modules__ = $(d_modules)
H A DMakefile.in611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules)
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
H A DMakefile611 d_modules = $(d_publicmodules) $(d_internalmodules) $(d_testmodules) macro
619 $(d_openssl_dependent_modules),$(d_modules))
632 d_test_modules__ = $(d_modules)
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsynth_conjecture.cpp62 d_modules.push_back(d_ceg_pbe.get()); in SynthConjecture()
66 d_modules.push_back(d_ceg_cegisUnif.get()); in SynthConjecture()
68 d_modules.push_back(d_ceg_cegis.get()); in SynthConjecture()
183 for (unsigned i = 0, size = d_modules.size(); i < size; i++) in assign()
185 if (d_modules[i]->initialize(d_base_inst, d_candidates, guarded_lemmas)) in assign()
187 d_master = d_modules[i]; in assign()
H A Dsynth_conjecture.h188 std::vector<SygusModule*> d_modules; variable