Home
last modified time | relevance | path

Searched refs:isPar (Results 1 – 25 of 33) sorted by relevance

12

/dports/math/minizinc/libminizinc-2.5.5/lib/
H A Doptimize_constraints.cpp293 if (e0->type().isPar() && e1->type().isPar()) { in o_not()
297 if (e1->type().isPar()) { in o_not()
300 if (e0->type().isPar()) { in o_not()
311 if (c->arg(1)->type().isPar()) { in o_div()
313 if (c->arg(0)->type().isPar() && c->argCount() == 3 && c->arg(2)->type().isPar()) { in o_div()
326 if (arg0->type().isPar() && arg1->type().isPar()) { in o_times()
361 if (c->arg(1)->type().isPar()) { in o_set_in()
402 if (e0->type().isPar() && e1->type().isPar()) { in o_int_ne()
410 if (e1->type().isPar()) { in o_int_ne()
430 if (e0->type().isPar() && e1->type().isPar()) { in o_int_le()
[all …]
H A Doptimize.cpp1078 } else if (c->arg(0)->type().isPar() && c->arg(1)->type().isPar()) { in simplify_constraint()
1101 } else if (is_true && ((c->arg(0)->isa<Id>() && c->arg(1)->type().isPar()) || in simplify_constraint()
1177 ((c->arg(0)->isa<Id>() && c->arg(1)->type().isPar()) || in simplify_constraint()
1178 (c->arg(1)->isa<Id>() && c->arg(0)->type().isPar()))) { in simplify_constraint()
1245 if (c->arg(0)->type().isPar()) { in simplify_constraint()
1389 if ((vdi->e()->e() != nullptr) && vdi->e()->e()->type().isPar() && in simplify_constraint()
1430 if (e->type().isPar()) { in bool_state()
1448 if ((*al)[j]->type().isPar()) { in decrement_non_fixed_vars()
1594 if ((*al)[j]->type().isPar() || in simplify_bool_constraint()
1598 if ((*al)[j]->type().isPar() && eval_bool(env, (*al)[j]) != unit) { in simplify_bool_constraint()
[all …]
H A Doutput.cpp30 return fi->rtype(env, tv, false).isPar(); in is_completely_par()
140 if (!t.isPar()) { in cannot_use_rhs_for_output()
1049 if (!vdi->e()->type().isPar()) { in create_output()
1050 if (vd->flat() == nullptr && vdi->e()->e() != nullptr && vdi->e()->e()->type().isPar()) { in create_output()
1066 assert(vd->e() && vd->e()->type().isPar()); in create_output()
1070 } else if ((vd->flat()->e() != nullptr) && vd->flat()->e()->type().isPar()) { in create_output()
1200 if (((vd->flat()->e() != nullptr) && vd->flat()->e()->type().isPar()) || in finalise_output()
H A Deval_par.cpp421 if (vd->e()->type().isPar()) { in eval_call()
1949 if (e->type().isPar()) { in eval_par()
2045 assert(l->type().isPar()); in eval_par()
2089 if (e->type().isPar()) { in enter()
2107 if (ite->ifExpr(i)->type().isPar() && in enter()
2195 if (!aa.idx()[i]->type().isPar()) { in vArrayAccess()
2522 if (e->type().isPar()) { in enter()
2538 if (ite->ifExpr(i)->type().isPar() && in enter()
2625 if (!aa.idx()[i]->type().isPar()) { in vArrayAccess()
2930 if (e->type().isPar()) { in enter()
[all …]
H A Dflatten.cpp740 if (e->type().isPar() && !e->isa<ArrayLit>()) { in cseMapInsert()
1628 if (e0->type().isPar() && e1->isa<Id>()) { in check_domain_constraints()
1653 if (e1->type().isPar() && e0->isa<Id>()) { in check_domain_constraints()
2054 assert((*al)[i]->type().isPar()); in bind()
2101 assert((*al)[i]->type().isPar()); in bind()
2606 if (e->type().isPar() && !e->type().cv()) { in flat_cv_exp()
2697 if (!i->type().isPar()) { in flat_cv_exp()
2711 if (c->type().isPar() && allPar) { in flat_cv_exp()
3687 (!keepDefinesVar || c->arg(0)->type().isPar())) { in clear_internal_annotations()
3702 if (vd->type().isPar()) { in cleanup_vardecl()
[all …]
H A Dtypecheck.cpp1955 Type bo_t = whereMap[c.decl(i, j)][k]->type().isPar() && whereExpr->type().isPar() in vComprehension()
2385 if (call.arg(call.argCount() - 1)->type().isPar()) { in vCall()
2460 if (vdi->type().isPar() && (vdi->e() == nullptr)) { in vLet()
3013 if ((i->e() != nullptr) && i->e()->type().isPar() && i->ti()->type().isvar()) { in typecheck()
3097 bool isPar = true; in typecheck() member in MiniZinc::typecheck::CheckParBody
3101 return isPar; in typecheck()
3105 isPar = false; in typecheck()
3113 isPar = false; in typecheck()
3132 bool parIsUsable = decl_par->ti()->type().isPar(); in typecheck()
3152 if (cpb.isPar) { in typecheck()
[all …]
/dports/www/tikiwiki/tiki-21.2/lib/wiki/
H A Deditlib.php438 * @param bool $isPar True if we process a <p>, false if a <div>
443 private function parseParDivTag($isPar, &$args, &$src, &$p) argument
449 $tag_name = $isPar ? 'p' : 'div'; // key for the $p[stack]
450 $type = $isPar ? 'type="p", ' : ''; // used for {DIV()}
960 $isPar = false; // assuming "div" when calling parseParDivTag()
1019 $isPar = true;
1025 $this->parseParDivTag($isPar, $node['pars'], $src, $p);
/dports/math/minizinc/libminizinc-2.5.5/lib/flatten/
H A Dflatten_vardecl.cpp66 if (vd->e() != nullptr && vd->e()->type().isPar() && !vd->ti()->type().isPar()) { in flatten_vardecl()
H A Dflatten_binop.cpp247 if (e->type().isPar()) { in collect_linexps()
262 if (bo->lhs()->type().isPar()) { in collect_linexps()
264 } else if (bo->rhs()->type().isPar()) { in collect_linexps()
995 if (e0.r()->type().isPar() && e1.r()->type().isPar()) { in flatten_binop()
1004 assert(tt.isPar()); in flatten_binop()
1024 if (e0r->type().isPar()) { in flatten_binop()
1027 if (e1r->type().isPar() && e1r->type().isint()) { in flatten_binop()
1033 if (e1r->type().isPar() && e1r->type().isfloat()) { in flatten_binop()
1042 if (e1r->type().isPar() && e1r->type().isint()) { in flatten_binop()
1206 if (boe1->type().isPar() || boe1->isa<Id>()) { in flatten_binop()
[all …]
H A Dflatten_comp.cpp78 if (bo->rhs()->type().isPar()) { in flatten_comp()
85 if (bo->lhs()->type().isPar()) { in flatten_comp()
213 if (!elems[i]->type().isPar()) { in flatten_comp()
239 if (c->type().isPar() && allPar) { in flatten_comp()
H A Dflatten_arrayaccess.cpp34 if (tmp->type().isPar()) { in flatten_arrayaccess()
65 if (tmp->type().isPar()) { in flatten_arrayaccess()
170 if (aa_inner->v()->type().isPar()) { in flatten_arrayaccess()
215 if (!ees[i].r()->type().isPar()) { in flatten_arrayaccess()
H A Dflatten_setlit.cpp30 allPar = allPar && elems[i]->type().isPar(); in flatten_setlit()
H A Dflatten_call.cpp538 if (res.r()->type().isPar()) { in flatten_call()
567 if (res.r()->type().isPar()) { in flatten_call()
608 if (res.r()->type().isPar()) { in flatten_call()
1003 domconstraint->type(args[i]()->type().isPar() ? Type::parbool() : Type::varbool()); in flatten_call()
1043 domconstraint->type(args[i]()->type().isPar() ? Type::parbool() : Type::varbool()); in flatten_call()
1062 if (cr()->type().isbool() && !cr()->type().isPar() && !cr()->type().isOpt() && in flatten_call()
1124 (cr()->type().isPar() && !cr()->type().isAnn() && !decl->e()->type().cv())) { in flatten_call()
1132 if (callt.isPar() && callt.bt() != Type::BT_ANN) { in flatten_call()
1240 domconstraint()->type(ret.r()->type().isPar() ? Type::parbool() : Type::varbool()); in flatten_call()
H A Dflat_exp.cpp112 bool is_par = e->type().isPar() && in flat_exp()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-ex-8.10.0.19/src/Language/Haskell/GhclibParserEx/GHC/Hs/
H A DExpr.hs10 isVar, isPar, isApp, isOpApp, isAnyApp, isLexeme, isLambda, isQuasiQuote,
48 isVar, isPar, isApp, isOpApp, isAnyApp, isLexeme, isQuasiQuote,
57 isPar = \case (L _ HsPar{}) -> True; _ -> False function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-ex-9.0.0.4/src/Language/Haskell/GhclibParserEx/GHC/Hs/
H A DExpr.hs10 isVar, isPar, isApp, isOpApp, isAnyApp, isLexeme, isLambda, isQuasiQuote,
48 isVar, isPar, isApp, isOpApp, isAnyApp, isLexeme, isQuasiQuote,
57 isPar = \case (L _ HsPar{}) -> True; _ -> False function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/brittany-0.13.1.1/src/Language/Haskell/Brittany/Internal/Transformations/
H A DAlt.hs551 isPar (LineModeValid x) = _vs_parFlag x function
552 isPar _ = False function
555 _ -> all singleline (List.init sps) && isPar (List.last sps)
916 isPar x = _vs_parFlag x function
919 _ -> all singleline (List.init sps) && isPar (List.last sps)
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-ex-9.0.0.4/test/
H A DTest.hs266 , testCase "isPar" $ test "(foo)" $ assert' . isPar
267 , testCase "isPar" $ test "foo" $ assert' . not . isPar
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-ex-8.10.0.19/test/
H A DTest.hs262 , testCase "isPar" $ test "(foo)" $ assert' . isPar
263 , testCase "isPar" $ test "foo" $ assert' . not . isPar
/dports/math/libpgmath/flang-d07daf3/tools/flang2/flang2exe/
H A Dexpsmp.cpp1035 int isPar = ILI_OF(ILM_OPND(ilmp, 1)); in exp_smp() local
1057 isPar = ad3ili(IL_ICJMPZ, isPar, CC_EQ, par_label); in exp_smp()
1059 chk_block(isPar); in exp_smp()
1135 int isPar = ILI_OF(ILM_OPND(ilmp, 1)); in exp_smp() local
1155 isPar = ad3ili(IL_ICJMPZ, isPar, CC_EQ, par_label); in exp_smp()
1157 chk_block(isPar); in exp_smp()
/dports/finance/quantlib/QuantLib-1.20/test-suite/
H A Dassetswap.cpp151 bool isPar = true; in testConsistency() local
157 isPar); in testConsistency()
176 isPar); in testConsistency()
209 isPar); in testConsistency()
266 isPar); in testConsistency()
299 isPar); in testConsistency()
332 isPar = false; in testConsistency()
338 isPar); in testConsistency()
355 isPar); in testConsistency()
388 isPar); in testConsistency()
[all …]
/dports/math/minizinc/libminizinc-2.5.5/solvers/geas/
H A Dgeas_constraints.cpp36 #define PAR(X) call->arg(X)->type().isPar()
629 if (elem->type().isPar()) { in p_array_var_int_element()
661 if (elem->type().isPar()) { in p_array_var_bool_element()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/hlint-3.2.7/src/Hint/
H A DBracket.hs235 , isVar a1 || isApp a1 || isPar a1, not $ isAtom a2
/dports/devel/hs-hlint/hlint-3.3.4/src/Hint/
H A DBracket.hs250 , isVar a1 || isApp a1 || isPar a1, not $ isAtom a2
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/
H A Dtype.hh177 bool isPar() const { return ti() == TI_PAR; } in isPar() function in MiniZinc::Type

12