Home
last modified time | relevance | path

Searched refs:model_callback (Results 1 – 21 of 21) sorted by relevance

/dports/math/py-claripy/claripy-9.0.5405/claripy/backends/
H A D__init__.py312 …self.convert(e), extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
317 …self.convert(e), extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
336 …self.convert(e), extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
341 …self.convert(e), extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
385 …self.convert(e), extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
401 …self.convert(e), extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
499 solver=solver, model_callback=model_callback
534 solver=solver, model_callback=model_callback
618 …tra_constraints=self.convert_list(extra_constraints), solver=solver, model_callback=model_callback)
629 …tisfiable(extra_constraints=extra_constraints, solver=solver, model_callback=model_callback) else …
[all …]
H A Dbackend_concrete.py174 def _eval(self, expr, n, extra_constraints=(), solver=None, model_callback=None):
186 def _max(self, expr, extra_constraints=(), solver=None, model_callback=None):
191 def _min(self, expr, extra_constraints=(), solver=None, model_callback=None):
202 def is_true(self, e, extra_constraints=(), solver=None, model_callback=None):
209 …uper().is_true(e, extra_constraints=extra_constraints, solver=solver,model_callback=model_callback)
211 def is_false(self, e, extra_constraints=(), solver=None, model_callback=None):
218 …er().is_false(e, extra_constraints=extra_constraints, solver=solver, model_callback=model_callback)
221 def _is_true(self, e, extra_constraints=(), solver=None, model_callback=None):
223 def _is_false(self, e, extra_constraints=(), solver=None, model_callback=None):
225 def _has_true(self, e, extra_constraints=(), solver=None, model_callback=None):
[all …]
H A Dbackend_vsa.py117 def _eval(self, expr, n, extra_constraints=(), solver=None, model_callback=None): argument
127 def _min(self, expr, extra_constraints=(), solver=None, model_callback=None): argument
141 def _max(self, expr, extra_constraints=(), solver=None, model_callback=None): argument
155 def _solution(self, obj, v, extra_constraints=(), solver=None, model_callback=None): argument
170 def _has_true(self, o, extra_constraints=(), solver=None, model_callback=None): argument
173 def _has_false(self, o, extra_constraints=(), solver=None, model_callback=None): argument
176 def _is_true(self, o, extra_constraints=(), solver=None, model_callback=None): argument
179 def _is_false(self, o, extra_constraints=(), solver=None, model_callback=None): argument
H A Dbackend_z3.py790 if model_callback is not None:
791 model_callback(self._generic_model(solver.model()))
800 solver=solver, model_callback=model_callback
834 if model_callback is not None:
835 model_callback(self._generic_model(solver.model()))
881 if model_callback is not None:
882 model_callback(self._generic_model(solver.model()))
903 if model_callback is not None:
948 if model_callback is not None:
967 if model_callback is not None:
[all …]
H A Dbackend_smtlib.py152 def _check_satisfiability(self, extra_constraints=(), solver=None, model_callback=None):
155 def _satisfiable(self, extra_constraints=(), solver=None, model_callback=None):
/dports/math/py-claripy/claripy-9.0.5405/claripy/backends/backend_smtlib_solvers/
H A D__init__.py101 def _is_false(self, e, extra_constraints=(), solver=None, model_callback=None):
106 def _is_true(self, e, extra_constraints=(), solver=None, model_callback=None):
111 def _batch_eval(self, exprs, n, extra_constraints=(), solver=None, model_callback=None):
112 …val(e, n, extra_constraints=extra_constraints, solver=solver, model_callback=model_callback) for e…
117 …def _check_satness(self, solver=None, extra_constraints=(), model_callback=None, extra_variables=(…
136 satness = self._check_satness(solver, extra_constraints, model_callback, extra_variables)
139 …def _satisfiable(self, solver=None, extra_constraints=(), model_callback=None, extra_variables=()):
140 satness = self._check_satness(solver, extra_constraints, model_callback, extra_variables)
168 def _eval(self, expr, n, extra_constraints=(), solver=None, model_callback=None):
194 def eval(self, expr, n, extra_constraints=(), solver=None, model_callback=None):
[all …]
/dports/math/py-claripy/claripy-9.0.5405/claripy/frontends/
H A Dfull_frontend.py93 model_callback=self._model_hook
102 solver=self._get_solver(), model_callback=self._model_hook
114 solver=self._get_solver(), model_callback=self._model_hook
129 model_callback=self._model_hook
149 model_callback=self._model_hook
169 model_callback=self._model_hook
178 solver=self._get_solver(), model_callback=self._model_hook
/dports/math/gretl/gretl-2021d/gui/
H A Dgretl.c1976 { "iv-liml", NULL, N_("_LIML"), NULL, NULL, G_CALLBACK(model_callback) },
1977 { "iv-gmm", NULL, N_("_GMM"), NULL, NULL, G_CALLBACK(model_callback) },
1983 { "anova", NULL, N_("ANOVA"), NULL, NULL, G_CALLBACK(model_callback) },
1985 { "arima", NULL, N_("ARI_MA"), NULL, NULL, G_CALLBACK(model_callback) },
1986 { "garch", NULL, N_("_GARCH"), NULL, NULL, G_CALLBACK(model_callback) },
1987 { "midasreg", NULL, "MIDAS", NULL, NULL, G_CALLBACK(model_callback) },
1989 { "ar1", NULL, N_("_AR(1)"), NULL, NULL, G_CALLBACK(model_callback) },
2005 { "blogit", NULL, N_("_Binary"), NULL, NULL, G_CALLBACK(model_callback) },
2006 { "ologit", NULL, N_("_Ordered"), NULL, NULL, G_CALLBACK(model_callback) },
2013 { "tobit", NULL, N_("To_bit"), NULL, NULL, G_CALLBACK(model_callback) },
[all …]
H A Dcallbacks.h28 void model_callback (GtkAction *action, gpointer data);
H A Dcallbacks.c402 void model_callback (GtkAction *action, gpointer data) in model_callback() function
/dports/net/openmpi/openmpi-4.1.1/orte/test/mpi/
H A Dxlib.c39 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
121 model_callback, model_registration_callback, (void*)&active); in main()
144 model_callback, model_registration_callback, (void*)&active); in main()
/dports/net/openmpi3/openmpi-3.1.6/orte/test/mpi/
H A Dxlib.c39 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
121 model_callback, model_registration_callback, (void*)&active); in main()
144 model_callback, model_registration_callback, (void*)&active); in main()
/dports/net/openmpi3/openmpi-3.1.6/ompi/interlib/
H A Dinterlib.c57 static void model_callback(int status, in model_callback() function
120 opal_pmix.register_evhandler(&info, &directives, model_callback, in ompi_interlib_declare()
/dports/net/openmpi/openmpi-4.1.1/ompi/interlib/
H A Dinterlib.c58 static void model_callback(int status, in model_callback() function
120 opal_pmix.register_evhandler(&info, &directives, model_callback, in ompi_interlib_declare()
/dports/net/openmpi3/openmpi-3.1.6/opal/mca/pmix/pmix2x/pmix/test/simple/
H A Dquietclient.c85 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
156 model_callback, model_registration_callback, (void*)&active); in main()
H A Dsimpclient.c84 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
187 model_callback, model_registration_callback, (void*)&active); in main()
H A Dsimptest.c231 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
414 model_callback, model_registration_callback, (void*)&mylock); in main()
/dports/net/openmpi/openmpi-4.1.1/opal/mca/pmix/pmix3x/pmix/test/simple/
H A Dquietclient.c85 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
156 model_callback, model_registration_callback, (void*)&active); in main()
H A Dsimpclient.c74 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
181 model_callback, NULL, NULL); in main()
H A Dsimptest.c309 static void model_callback(size_t evhdlr_registration_id, in model_callback() function
536 model_callback, NULL, NULL); in main()
/dports/biology/seaview/seaview/
H A Dtrees.cxx43 static void model_callback(Fl_Widget *ob, void *data);
922 if (!view->protein) mymodel->callback(model_callback, fr_group); in phyml_dialog()
1040 static void model_callback(Fl_Widget *ob, void *data) in model_callback() function