Home
last modified time | relevance | path

Searched refs:other_vars (Results 1 – 10 of 10) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dqe_mbp.cpp358 app_ref_vector other_vars(m); in spacer() local
377 other_vars.push_back(v); in spacer()
398 if (!other_vars.empty()) { in spacer()
404 (*this)(false, other_vars, mdl, fmls); in spacer()
410 tout << "Remaining other vars:\n" << other_vars << "\n";); in spacer()
414 if (!other_vars.empty()) { in spacer()
415 project_vars(mdl, other_vars, fml); in spacer()
420 if (!m_dont_sub && !other_vars.empty()) { in spacer()
421 subst_vars(eval, other_vars, fml); in spacer()
425 other_vars.reset(); in spacer()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/
H A Dqe_mbp.cpp358 app_ref_vector other_vars(m); in spacer() local
377 other_vars.push_back(v); in spacer()
398 if (!other_vars.empty()) { in spacer()
404 (*this)(false, other_vars, mdl, fmls); in spacer()
410 tout << "Remaining other vars:\n" << other_vars << "\n";); in spacer()
414 if (!other_vars.empty()) { in spacer()
415 project_vars(mdl, other_vars, fml); in spacer()
420 if (!m_dont_sub && !other_vars.empty()) { in spacer()
421 subst_vars(eval, other_vars, fml); in spacer()
425 other_vars.reset(); in spacer()
[all …]
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/util/tests/
H A Dtest_subsystems.py148 other_vars = [
157 input_set = ComponentSet(other_vars[i])
178 other_vars = [
201 other_vars = [
211 input_set = ComponentSet(other_vars[i])
236 other_vars = [
270 other_vars = [
278 input_set = ComponentSet(other_vars[i])
301 other_vars = [
309 input_set = ComponentSet(other_vars[i])
[all …]
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/incidence_analysis/
H A Dinterface.py133 other_vars = []
142 other_vars.append(var)
149 _block.other_vars = Reference(other_vars)
/dports/devel/py-xarray/xarray-0.20.1/xarray/core/
H A Dcoordinates.py162 other_vars = getattr(other, "variables", other)
164 [self.variables, other_vars], priority_arg=1, indexes=self.xindexes
/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_nonpublic.cc2289 Variables_Set other_vars; in drop_some_non_integer_points() local
2294 other_vars.insert(Variable(i)); in drop_some_non_integer_points()
2304 if (!other_vars.empty()) { in drop_some_non_integer_points()
2307 if (!c.expression().all_zeroes(other_vars)) { in drop_some_non_integer_points()
/dports/textproc/py-nltk/nltk-3.4.1/nltk/sem/
H A Ddrt.py502 other_vars = []
511 other_vars.append(s)
513 sorted(other_vars)
/dports/textproc/p5-Number-Format/Number-Format-1.75/
H A DFormat.pm211 other_vars => \@EXPORT_OTHER,
/dports/sysutils/triton/Triton-0.8.1/src/testers/unittests/
H A Dtest_github_issues.py248 …other_vars = [self.ctx.newSymbolicVariable(64, 'myvar1') for _ in range(4)] # Unused vars (ignore …
/dports/math/py-theano/Theano-1.0.5/theano/tensor/
H A Dopt.py320 other_vars = []
336 other_vars.append(inp_idx)
339 vars_from_inplace + other_vars)