Home
last modified time | relevance | path

Searched refs:consequences (Results 1 – 25 of 2980) sorted by relevance

12345678910>>...120

/dports/math/maxima/maxima-5.43.2/share/contrib/boolsimp/
H A Dboolsimp.lisp44 (let ((op (car x)) (args (cdr x)) (conditions) (consequences))
50 (setq consequences (append consequences (list g)))
56 (setq consequences (append consequences (list g)))))
61 (meval (car consequences)))
63 (setq consequences (mapcar 'mevalatoms consequences))
66 (apply 'append (mapcar #'(lambda (x y) `(,x ,y)) conditions consequences)))))))
/dports/math/reduce/Reduce-svn5758-src/packages/cde/
H A Dcde_diffcon.red35 % Computation of differential consequences of E=0
38 % We compute differential consequences as total derivatives
40 % then we solve the system of differential consequences
86 % Adds the expression of the differential consequences
134 % check if computed differential consequences
164 % secondary differential consequences;
168 % Initialization of the differential consequences.
186 % compute current differential consequences;
198 prin2t "-ary differential consequences";
219 % We start by generating differential consequences.
[all …]
H A Dcde.rlg61 4 - Building differential consequences in 3 steps:
62 a - Calculating differential consequences ...
63 b - Solving the system of differential consequences ...
/dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/frmenus/fit/
H A Dassucons.top5 NIST/SEMATECH Handbook <xcl: web handbook fit model assumption consequences>
22 consequences are:
30 consequences are:
39 consequences are:
48 consequences are:
57 consequences are:
/dports/x11-wm/bspwm/bspwm-0.9.10/examples/external_rules/
H A Dexternal_rules6 consequences=$4
19 eval "$consequences"
/dports/textproc/p5-Lingua-EN-Tagger/Lingua-EN-Tagger-0.31/t/
H A Dweighted.t95 'consequences for research' => 1,
128 'consequences' => 1,
166 'consequences' => 1,
186 'consequences for research' => 3,
203 …ected an important high-technological industry, without regard to the consequences for research an…
233 …ected an important high-technological industry, without regard to the consequences for research an…
H A Dnouns.t103 'consequences for research' => 1,
136 'consequences' => 1,
174 'consequences' => 1,
194 'consequences for research' => 1,
222 …ected an important high-technological industry, without regard to the consequences for research an…
252 …ected an important high-technological industry, without regard to the consequences for research an…
/dports/math/z3/z3-z3-4.8.13/src/solver/
H A Dsolver.cpp87 …equences(expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) { in get_consequences() argument
90 return get_consequences_core(asms, vars, consequences); in get_consequences()
104 …ces_core(expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) { in get_consequences_core() argument
155 consequences.push_back(m.mk_implies(mk_and(core), lit)); in get_consequences_core()
173 consequences.push_back(m.mk_implies(mk_and(core), lit)); in get_consequences_core()
H A Dsolver_na2as.cpp76 …equences(expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) { in get_consequences() argument
78 return get_consequences_core(m_assumptions, vars, consequences); in get_consequences()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/fd_solver/
H A Denum2bv_solver.cpp133 …expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) override { in get_consequences_core() argument
160 lbool r = m_solver->get_consequences(asms, bvars, consequences); in get_consequences_core()
164 for (expr* c : consequences) { in get_consequences_core()
176 consequences[i] = m.mk_implies(a, head); in get_consequences_core()
H A Dbounded_int2bv_solver.cpp201 …expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) override { in get_consequences_core() argument
215 lbool r = m_solver->get_consequences(asms, bvars, consequences); in get_consequences_core()
218 for (unsigned i = 0; i < consequences.size(); ++i) { in get_consequences_core()
224 VERIFY(m.is_implies(consequences[i].get(), a, b)); in get_consequences_core()
232 consequences[i] = m.mk_implies(a, head); in get_consequences_core()
/dports/math/z3/z3-z3-4.8.13/src/tactic/fd_solver/
H A Denum2bv_solver.cpp137 …expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) override { in get_consequences_core() argument
164 lbool r = m_solver->get_consequences(asms, bvars, consequences); in get_consequences_core()
168 for (expr* c : consequences) { in get_consequences_core()
180 consequences[i] = m.mk_implies(a, head); in get_consequences_core()
H A Dbounded_int2bv_solver.cpp205 …expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) override { in get_consequences_core() argument
219 lbool r = m_solver->get_consequences(asms, bvars, consequences); in get_consequences_core()
222 for (unsigned i = 0; i < consequences.size(); ++i) { in get_consequences_core()
228 VERIFY(m.is_implies(consequences[i].get(), a, b)); in get_consequences_core()
236 consequences[i] = m.mk_implies(a, head); in get_consequences_core()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/
H A Dsolver.cpp87 …equences(expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) { in get_consequences() argument
90 return get_consequences_core(asms, vars, consequences); in get_consequences()
104 …ces_core(expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) { in get_consequences_core() argument
155 consequences.push_back(m.mk_implies(mk_and(core), lit)); in get_consequences_core()
173 consequences.push_back(m.mk_implies(mk_and(core), lit)); in get_consequences_core()
H A Dsolver_na2as.cpp76 …equences(expr_ref_vector const& asms, expr_ref_vector const& vars, expr_ref_vector& consequences) { in get_consequences() argument
78 return get_consequences_core(m_assumptions, vars, consequences); in get_consequences()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Denumerator.cpp205 bool cons = model_.consequences(); in init()
259 else if (model_.consequences() || (!model_.opt && optimize())) { in commitComplete()
261 model_.def = uint32(model_.consequences()); in commitComplete()
291 else if (opts.consequences()){ return createConsEnumerator(opts); } in createEnumerator()
/dports/math/clasp/clasp-3.3.5/src/
H A Denumerator.cpp205 bool cons = model_.consequences(); in init()
259 else if (model_.consequences() || (!model_.opt && optimize())) { in commitComplete()
261 model_.def = uint32(model_.consequences()); in commitComplete()
291 else if (opts.consequences()){ return createConsEnumerator(opts); } in createEnumerator()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Denumerator.cpp205 bool cons = model_.consequences(); in init()
259 else if (model_.consequences() || (!model_.opt && optimize())) { in commitComplete()
261 model_.def = uint32(model_.consequences()); in commitComplete()
291 else if (opts.consequences()){ return createConsEnumerator(opts); } in createEnumerator()
/dports/www/gitea/gitea-1.16.5/options/license/
H A Ddiffmark2 2. I refuse any responsibility for the consequences
/dports/textproc/diffmark/diffmark-0.10/
H A DCOPYING2 2. I refuse any responsibility for the consequences
/dports/x11-wm/herbstluftwm/herbstluftwm-0.9.2/src/
H A Drules.cpp118 consequences.push_back(cons); in addConsequence()
178 for (auto& cons : consequences) { in evaluate()
216 for (auto const& cons : consequences) { in print()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/yasm/source/patched-yasm/tools/re2c/
H A DNO_WARRANTY2 contributors take no responsibility for the consequences of its use.
/dports/devel/re2c/re2c-2.2/
H A DNO_WARRANTY2 contributors take no responsibility for the consequences of its use.
/dports/devel/yasm/yasm-1.3.0/tools/re2c/
H A DNO_WARRANTY2 contributors take no responsibility for the consequences of its use.
/dports/devel/byaccj/byaccj1.15/src/
H A Dno_warranty2 and any other contributors take no responsibility for the consequences of

12345678910>>...120