| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | typecheck.cpp | 171 auto* ti_aa = new TypeInst(Location().introduce(), tx); in create_enum_mapper()
284 std::vector<TypeInst*> ranges(1); in create_enum_mapper()
893 std::vector<TypeInst*> ranges(1); in create_enum_mapper()
911 std::vector<TypeInst*> xx_ranges(1); in create_enum_mapper()
1074 std::vector<TypeInst*> ranges(1); in create_enum_mapper()
1092 std::vector<TypeInst*> xx_ranges(1); in create_enum_mapper()
1327 auto* ti = e->cast<TypeInst>(); in run()
2544 void vTypeInst(TypeInst& ti) { in vTypeInst()
2551 TypeInst* ri = ti.ranges()[i]; in vTypeInst()
2567 assert(ri->isa<TypeInst>()); in vTypeInst()
[all …]
|
| H A D | parser.yxx | 115 MiniZinc::TypeInst* tiexpr;
434 TypeInst* ti = new TypeInst(@$,Type::parsetint());
445 TypeInst* ti = new TypeInst(@$,Type::parsetint());
462 TypeInst* ti = new TypeInst(@$,Type::parsetint());
622 TypeInst* ti=new TypeInst(@1,Type::ann());
635 TypeInst* ti=new TypeInst(@1,Type::ann());
707 std::vector<TypeInst*> ti(1);
786 { $$ = new TypeInst(@$,Type::parint()); }
794 { $$ = new TypeInst(@$,Type::ann()); }
798 { $$ = new TypeInst(@$,Type::top(),
[all …]
|
| H A D | copy.cpp | 342 c->ti(static_cast<TypeInst*>(copy(env, m, vd->ti(), followIds, copyFundecls, isFlatModel))); in copy()
364 auto* t = e->cast<TypeInst>(); in copy()
365 ASTExprVecO<TypeInst*>* r; in copy()
368 } else if (ASTExprVecO<TypeInst*>* cr = m.find(t->ranges())) { in copy()
371 std::vector<TypeInst*> rr(t->ranges().size()); in copy()
373 rr[i] = static_cast<TypeInst*>( in copy()
376 r = ASTExprVecO<TypeInst*>::a(rr); in copy()
378 auto* c = new TypeInst(copy_location(m, e), t->type(), ASTExprVec<TypeInst>(r), in copy()
483 static_cast<TypeInst*>(copy(env, m, f->ti(), followIds, copyFundecls, isFlatModel)), in copy()
|
| H A D | ast.cpp | 226 pushstack(cur->cast<TypeInst>()->domain()); in mark()
227 pushall(cur->cast<TypeInst>()->ranges()); in mark()
893 void TypeInst::rehash() { in rehash()
904 void TypeInst::setRanges(const std::vector<TypeInst*>& ranges) { in setRanges()
905 _ranges = ASTExprVec<TypeInst>(ranges); in setRanges()
917 bool TypeInst::hasTiVariable() const { in hasTiVariable()
965 TypeInst* tii = fi->params()[i]->ti(); in return_type()
1221 TypeInst* tii = params()[n]->ti(); in mark()
1455 const auto* t0 = e0->cast<TypeInst>(); in mark()
1456 const auto* t1 = e1->cast<TypeInst>(); in mark()
[all …]
|
| H A D | json_parser.cpp | 562 Expression* JSONParser::coerceArray(TypeInst* intendedTI, ArrayLit* al) { in coerceArray()
564 TypeInst& ti = *intendedTI; in coerceArray()
576 TypeInst* nti = ti.ranges()[i]; in coerceArray()
612 ASTStringMap<TypeInst*> knownIds; in parseModel()
617 ASTStringMap<TypeInst*>& _knownIds; in parseModel()
620 VarDeclVisitor(ASTStringMap<TypeInst*>& knownIds) : _knownIds(knownIds) {} in parseModel()
|
| H A D | flatten.cpp | 1454 std::vector<TypeInst*> ranges(dims->size()); in populate_output()
1521 ASTExprVec<TypeInst> tis = vd->ti()->ranges(); in check_index_sets()
1522 std::vector<TypeInst*> newtis(tis.size()); in check_index_sets()
1571 newtis[i] = new TypeInst( in check_index_sets()
1613 auto* tic = copy(env, vd->ti())->cast<TypeInst>(); in check_index_sets()
1865 std::vector<TypeInst*> ranges(al->dims()); in bind()
1867 ranges[i] = new TypeInst( in bind()
1871 ASTExprVec<TypeInst> ranges_v(ranges); in bind()
2572 std::vector<TypeInst*> dims(al->dims()); in eval_typeinst()
3963 std::vector<TypeInst*> r(1); in cleanup_vardecl()
[all …]
|
| H A D | type.cpp | 109 switch (static_cast<TypeInst>(_ti)) { in nonEnumToString()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | type.hh | 26 enum TypeInst { TI_PAR, TI_VAR }; enum in MiniZinc::Type
64 TypeInst ti() const { return static_cast<TypeInst>(_ti); } in ti()
66 void ti(const TypeInst& t) { in ti()
108 Type(const TypeInst& ti, const BaseType& bt, const SetType& st, unsigned int enumId, int dim) in Type()
208 t._ti = static_cast<TypeInst>((i >> 21) & 0x7); in fromInt()
|
| H A D | ast.hh | 45 class TypeInst;
1195 TypeInst* _ti;
1218 TypeInst* ti() const { return _ti; } in ti()
1220 void ti(TypeInst* t) { _ti = t; } in ti()
1293 class TypeInst : public Expression { class
1296 ASTExprVec<TypeInst> _ranges;
1304 TypeInst(const Location& loc, const Type& t, const ASTExprVec<TypeInst>& ranges,
1317 void setRanges(const std::vector<TypeInst*>& ranges);
1587 TypeInst* _ti;
1634 TypeInst* ti() const { return _ti; } in ti()
[all …]
|
| H A D | flat_exp.hh | 22 TypeInst* eval_typeinst(EnvI& env, const Ctx& ctx, VarDecl* vd);
27 VarDecl* new_vardecl(EnvI& env, const Ctx& ctx, TypeInst* ti, Id* origId, VarDecl* origVd,
|
| H A D | ast.hpp | 507 inline VarDecl::VarDecl(const Location& loc, TypeInst* ti, const ASTString& id, Expression* e) in VarDecl()
521 inline VarDecl::VarDecl(const Location& loc, TypeInst* ti, long long int idn, Expression* e) in VarDecl()
535 inline VarDecl::VarDecl(const Location& loc, TypeInst* ti, const std::string& id, Expression* e) in VarDecl()
547 inline VarDecl::VarDecl(const Location& loc, TypeInst* ti, Id* id, Expression* e) in VarDecl()
588 inline TypeInst::TypeInst(const Location& loc, const Type& type, const ASTExprVec<TypeInst>& ranges, in TypeInst() function in MiniZinc::TypeInst
596 inline TypeInst::TypeInst(const Location& loc, const Type& type, Expression* domain) in TypeInst() function in MiniZinc::TypeInst
637 inline FunctionI::FunctionI(const Location& loc, const std::string& id, TypeInst* ti, in FunctionI()
653 inline FunctionI::FunctionI(const Location& loc, const ASTString& id, TypeInst* ti, in FunctionI()
|
| H A D | astiterator.hh | 160 _t.vTypeInst(*c.e->template cast<TypeInst>()); in run()
244 stack.push_back(C(ce->template cast<TypeInst>()->domain())); in run()
245 pushVec(stack, ce->template cast<TypeInst>()->ranges()); in run()
358 _t.vTypeInst(*e->template cast<TypeInst>()); in run()
359 stack.push_back(e->template cast<TypeInst>()->domain()); in run()
360 pushVec(stack, e->template cast<TypeInst>()->ranges()); in run()
|
| H A D | json_parser.hh | 63 static Expression* coerceArray(TypeInst* intendedTI, ArrayLit* al);
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_par.cpp | 90 std::vector<TypeInst*> ranges(al->dims()); in flatten_par()
93 new TypeInst(e->loc(), Type(), in flatten_par()
96 ASTExprVec<TypeInst> ranges_v(ranges); in flatten_par()
98 auto* ti = new TypeInst(e->loc(), al->type(), ranges_v, nullptr); in flatten_par()
|
| H A D | flatten_anon.cpp | 24 VarDecl* vd = new_vardecl(env, Ctx(), new TypeInst(Location().introduce(), av->type()), nullptr, in flatten_anon()
|
| H A D | flatten_id.cpp | 46 gen_id[0] = new VarDecl(id->loc(), new TypeInst(id->loc(), Type::parint()), env.genId(), in flatten_id()
144 TypeInst* ti = vd->ti()->ranges()[i]; in flatten_id()
174 auto* vti = new TypeInst(Location().introduce(), tt, vd->ti()->domain()); in flatten_id()
|
| H A D | flatten_vardecl.cpp | 26 TypeInst* ti = eval_typeinst(env, ctx, v); in flatten_vardecl()
|
| H A D | flatten_let.cpp | 76 TypeInst* ti = eval_typeinst(env, ctx, vd); in flatten_let()
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/cached/minizinc/ |
| H A D | parser.tab.hh | 199 MiniZinc::TypeInst* tiexpr;
200 std::vector<MiniZinc::TypeInst*>* tiexprs;
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/cached/ |
| H A D | parser.tab.cpp | 3311 TypeInst* ti = new TypeInst((yyloc),Type::parsetint()); in yyparse()
3324 TypeInst* ti = new TypeInst((yyloc),Type::parsetint()); in yyparse()
3343 TypeInst* ti = new TypeInst((yyloc),Type::parsetint()); in yyparse()
3529 TypeInst* ti=new TypeInst((yylsp[-2]),Type::ann()); in yyparse()
3544 TypeInst* ti=new TypeInst((yylsp[-4]),Type::ann()); in yyparse()
3630 std::vector<TypeInst*> ti(1); in yyparse()
3631 ti[0] = new TypeInst((yyloc),Type::parint()); in yyparse()
3725 { (yyval.tiexpr) = new TypeInst((yyloc),Type::parint()); } in yyparse()
3741 { (yyval.tiexpr) = new TypeInst((yyloc),Type::ann()); } in yyparse()
3749 { (yyval.tiexpr) = new TypeInst((yyloc),Type::top(), in yyparse()
[all …]
|
| /dports/lang/mono/mono-5.10.1.57/mcs/ilasm/codegen/ |
| H A D | TypeInstr.cs | 31 cil.TypeInst (op, operand.PeapiType); in Emit()
|
| H A D | LdtokenInstr.cs | 52 cil.TypeInst (PEAPI.TypeOp.ldtoken, in Emit()
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/nl/ |
| H A D | nl_solverinstance.cpp | 270 const TypeInst& ti = *vd.ti()->cast<TypeInst>(); in analyse()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/nl/ |
| H A D | nl_file.hh | 109 void addVarDecl(const VarDecl& vd, const TypeInst& ti, const Expression& rhs);
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Parser/ |
| H A D | AST.hs | 68 , TypeInst(..)
323 | EAppT (Expr n) [(TypeInst n)] -- ^ @ f `{x = 8}, f`{8} @
356 data TypeInst name = NamedInst (Named (Type name)) type
726 instance PPName name => PP (TypeInst name) where
1023 instance NoPos (TypeInst name) where
|