/dports/math/maxima/maxima-5.43.2/share/contrib/boolsimp/ |
H A D | boolsimp.lisp | 44 (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 D | cde_diffcon.red | 35 % 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 D | cde.rlg | 61 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 D | assucons.top | 5 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 D | external_rules | 6 consequences=$4 19 eval "$consequences"
|
/dports/textproc/p5-Lingua-EN-Tagger/Lingua-EN-Tagger-0.31/t/ |
H A D | weighted.t | 95 '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 D | nouns.t | 103 '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 D | solver.cpp | 87 …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 D | solver_na2as.cpp | 76 …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 D | enum2bv_solver.cpp | 133 …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 D | bounded_int2bv_solver.cpp | 201 …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 D | enum2bv_solver.cpp | 137 …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 D | bounded_int2bv_solver.cpp | 205 …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 D | solver.cpp | 87 …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 D | solver_na2as.cpp | 76 …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 D | enumerator.cpp | 205 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 D | enumerator.cpp | 205 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 D | enumerator.cpp | 205 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 D | diffmark | 2 2. I refuse any responsibility for the consequences
|
/dports/textproc/diffmark/diffmark-0.10/ |
H A D | COPYING | 2 2. I refuse any responsibility for the consequences
|
/dports/x11-wm/herbstluftwm/herbstluftwm-0.9.2/src/ |
H A D | rules.cpp | 118 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 D | NO_WARRANTY | 2 contributors take no responsibility for the consequences of its use.
|
/dports/devel/re2c/re2c-2.2/ |
H A D | NO_WARRANTY | 2 contributors take no responsibility for the consequences of its use.
|
/dports/devel/yasm/yasm-1.3.0/tools/re2c/ |
H A D | NO_WARRANTY | 2 contributors take no responsibility for the consequences of its use.
|
/dports/devel/byaccj/byaccj1.15/src/ |
H A D | no_warranty | 2 and any other contributors take no responsibility for the consequences of
|