/dports/math/minizinc/libminizinc-2.5.5/lib/ |
H A D | optimize_constraints.cpp | 293 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 D | optimize.cpp | 1078 } 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 D | output.cpp | 30 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 D | eval_par.cpp | 421 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 D | flatten.cpp | 740 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 D | typecheck.cpp | 1955 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 D | editlib.php | 438 * @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 D | flatten_vardecl.cpp | 66 if (vd->e() != nullptr && vd->e()->type().isPar() && !vd->ti()->type().isPar()) { in flatten_vardecl()
|
H A D | flatten_binop.cpp | 247 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 D | flatten_comp.cpp | 78 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 D | flatten_arrayaccess.cpp | 34 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 D | flatten_setlit.cpp | 30 allPar = allPar && elems[i]->type().isPar(); in flatten_setlit()
|
H A D | flatten_call.cpp | 538 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 D | flat_exp.cpp | 112 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 D | Expr.hs | 10 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 D | Expr.hs | 10 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 D | Alt.hs | 551 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 D | Test.hs | 266 , 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 D | Test.hs | 262 , testCase "isPar" $ test "(foo)" $ assert' . isPar 263 , testCase "isPar" $ test "foo" $ assert' . not . isPar
|
/dports/math/libpgmath/flang-d07daf3/tools/flang2/flang2exe/ |
H A D | expsmp.cpp | 1035 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 D | assetswap.cpp | 151 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 D | geas_constraints.cpp | 36 #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 D | Bracket.hs | 235 , isVar a1 || isApp a1 || isPar a1, not $ isAtom a2
|
/dports/devel/hs-hlint/hlint-3.3.4/src/Hint/ |
H A D | Bracket.hs | 250 , isVar a1 || isApp a1 || isPar a1, not $ isAtom a2
|
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
H A D | type.hh | 177 bool isPar() const { return ti() == TI_PAR; } in isPar() function in MiniZinc::Type
|