Searched defs:evars (Results 1 – 12 of 12) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/exists_forall/ |
| H A D | ef_analyze.h | 74 ivector_t evars; // existential variables member
107 ivector_t evars; member
|
| H A D | ef_problem.h | 68 term_t *evars; // existential variables member
|
| /dports/math/yices/yices-2.6.2/src/model/ |
| H A D | projection.h | 94 term_t *evars; member
|
| /dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/network/ |
| H A D | decomposition.py | 666 def combine_and_fix(self, port, name, obj, evars, fixed): argument
|
| /dports/multimedia/gstreamer1/gstreamer-1.16.2/gst/ |
| H A D | gstplugin.c | 1488 gchar **evars; in gst_plugin_ext_dep_extract_env_vars_paths() local
|
| /dports/lang/gnu-apl/apl-1.8/src/ |
| H A D | QuadFunction.cc | 455 std::vector<const char *> evars; in eval_B() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | ce_guided_single_inv_sol.cpp | 656 std::vector< Node > evars; in preregisterConjecture() local
|
| /dports/math/R-cran-VGAM/VGAM/R/ |
| H A D | plot.vgam.R | 171 evars <- all.names(xvars[term], functions = FALSE, unique = TRUE) functionVar
|
| /dports/lang/ghc/ghc-8.10.7/compiler/rename/ |
| H A D | RnExpr.hs | 1803 (pvars, evars) = stmtRefs stmt fvs function
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
| H A D | spacer_context.cpp | 193 expr *trans, app_ref_vector const &evars) : in derivation()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
| H A D | spacer_context.cpp | 193 expr *trans, app_ref_vector const &evars) : in derivation()
|
| /dports/math/vampire/vampire-4.5.1/SAT/ |
| H A D | lglib.c | 989 EVar * evars; member
|