| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_comp.cpp | 102 orig_where[i]->type(Type::parbool()); in flatten_comp()
106 parWhereAl->type(Type::parbool(1)); in flatten_comp()
108 forall->type(Type::parbool()); in flatten_comp()
|
| H A D | flatten_call.cpp | 829 std::vector<Type> bj_t = {Type::parbool(1), Type::parint(1), Type::varint(1), in flatten_call()
830 Type::parbool(1), Type::parfloat(1), Type::varfloat(1)}; 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()
1240 domconstraint()->type(ret.r()->type().isPar() ? Type::parbool() : Type::varbool()); in flatten_call()
|
| H A D | flatten_ite.cpp | 237 if (e_if.r()->type() == Type::parbool()) { in flatten_ite()
|
| H A D | flatten_binop.cpp | 1380 bo_par->type(Type::parbool()); in flatten_binop()
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | typecheck.cpp | 175 auto* ti_ab = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
179 auto* ti_aj = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
296 auto* ti_ab = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
902 auto* b_ti = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
906 auto* j_ti = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
989 auto* b_ti = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
993 auto* j_ti = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
1083 auto* b_ti = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
1087 auto* j_ti = new TypeInst(Location().introduce(), Type::parbool()); in create_enum_mapper()
1875 } else if (c.where(i)->type() != Type::parbool()) { in vComprehension()
[all …]
|
| H A D | builtins.cpp | 1390 check_eq->type(Type::parbool()); in b_has_ann()
1557 check->type(Type::parbool()); in b_mzn_symmetry_breaking_constraint()
1572 check->type(Type::parbool()); in b_mzn_redundant_constraint()
3083 t[0] = Type::parbool(); in register_builtins()
3089 t[0] = Type::parbool(); in register_builtins()
3195 t[0] = Type::parbool(); in register_builtins()
3200 t[0] = Type::parbool(-1); in register_builtins()
3206 { rb(env, m, constants().ids.bool_not, {Type::parbool()}, b_not_par); } in register_builtins()
3209 t[0] = Type::parbool(-1); in register_builtins()
3210 t[1] = Type::parbool(-1); in register_builtins()
[all …]
|
| H A D | parser.yxx | 575 Type::parbool()),*$3,$5,pp->isSTDLib);
591 Type::parbool()),*$4,$6);
788 { $$ = new TypeInst(@$,Type::parbool()); }
|
| H A D | htmlprinter.cpp | 739 } else if (fi->ti()->type() == Type::parbool()) { in vFunctionI()
1277 } else if (fi->ti()->type() == Type::parbool()) { in vFunctionI()
|
| H A D | prettyprinter.cpp | 699 } else if (fi.ti()->type() == Type::parbool()) { in p()
1700 } else if (fi.ti()->type() == Type::parbool()) { in mapFunctionI()
|
| H A D | flatten.cpp | 320 if (e->type() == Type::parbool()) { in istrue()
337 if (e->type() == Type::parbool()) { in isfalse()
460 vd->type(Type::parbool()); in update_bounds()
461 vd->ti(new TypeInst(vd->loc(), Type::parbool())); in update_bounds()
2867 check_only_range->type(Type::parbool()); in flatten()
4085 c->type(Type::parbool()); in oldflatzinc()
|
| H A D | eval_par.cpp | 460 } else if (e->type() == Type::parbool(1)) { in eval_array_comp()
1956 if (e->type() == Type::parbool()) { in eval_par()
1970 if (ite->ifExpr(i)->type() == Type::parbool()) { in eval_par()
|
| H A D | ast.cpp | 1477 auto* ti = new TypeInst(Location(), Type::parbool()); in mark()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | type.hh | 122 static Type parbool(int dim = 0) { return Type(TI_PAR, BT_BOOL, ST_PLAIN, 0, dim); } in parbool() function in MiniZinc::Type
|
| H A D | ast.hpp | 216 : Expression(loc, E_BOOLLIT, Type::parbool()), _v(v) { in BoolLit()
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/cached/ |
| H A D | parser.tab.cpp | 3476 … Type::parbool()),*(yyvsp[-2].vardeclexprs),(yyvsp[0].expression),pp->isSTDLib); in yyparse()
3496 … Type::parbool()),*(yyvsp[-2].vardeclexprs),(yyvsp[0].expression)); in yyparse()
3729 { (yyval.tiexpr) = new TypeInst((yyloc),Type::parbool()); } in yyparse()
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
| H A D | gecode_solverinstance.cpp | 1610 nvd->type(Type::parbool()); in presolve()
1611 nvd->ti(new TypeInst(nvd->loc(), Type::parbool())); in presolve()
|