| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_arrayaccess.cpp | 35 ArrayLit* al; in flatten_arrayaccess()
36 if (eev.r()->isa<ArrayLit>()) { in flatten_arrayaccess()
37 al = eev.r()->cast<ArrayLit>(); in flatten_arrayaccess()
47 if (id_e->isa<ArrayLit>()) { in flatten_arrayaccess()
48 al = id_e->cast<ArrayLit>(); in flatten_arrayaccess()
157 ArrayLit* al; in flatten_arrayaccess()
158 if (eev.r()->isa<ArrayLit>()) { in flatten_arrayaccess()
159 al = eev.r()->cast<ArrayLit>(); in flatten_arrayaccess()
222 ArrayLit* al; in flatten_arrayaccess()
223 if (eev.r()->isa<ArrayLit>()) { in flatten_arrayaccess()
[all …]
|
| H A D | flatten_call.cpp | 139 al = new ArrayLit(al->loc(), *al); in flatten_linexp_call()
228 ArrayLit* al = eval_array_lit(env, rd); in flatten_linexp_call()
314 std::vector<Expression*> args = {new ArrayLit(loc, isUBI), new ArrayLit(loc, bndI), in is_totaladd_bounds_disj()
315 new ArrayLit(loc, varI), new ArrayLit(loc, isUBF), in is_totaladd_bounds_disj()
316 new ArrayLit(loc, bndF), new ArrayLit(loc, varF)}; in is_totaladd_bounds_disj()
416 ArrayLit* al; in flatten_call()
417 if (c->arg(0)->isa<ArrayLit>()) { in flatten_call()
418 al = c->arg(0)->cast<ArrayLit>(); in flatten_call()
452 ArrayLit* coeffs; in flatten_call()
511 c->arg(1)->isa<ArrayLit>()) { in flatten_call()
[all …]
|
| H A D | flatten_arraylit.cpp | 19 auto* al = e->cast<ArrayLit>(); in flatten_arraylit()
39 auto* alr = new ArrayLit(Location().introduce(), elems, dims); in flatten_arraylit()
|
| H A D | flatten_binop.cpp | 336 args[0] = new ArrayLit(e0->loc(), coeffs_e); in mklinexp()
340 args[1] = new ArrayLit(e0->loc(), vars_e); in mklinexp()
1601 ArrayLit* al; in flatten_binop()
1602 if (eev.r()->isa<ArrayLit>()) { in flatten_binop()
1603 al = eev.r()->cast<ArrayLit>(); in flatten_binop()
1612 al = follow_id(id)->cast<ArrayLit>(); in flatten_binop()
1614 ArrayLit* al0 = al; in flatten_binop()
1617 if (eev.r()->isa<ArrayLit>()) { in flatten_binop()
1618 al = eev.r()->cast<ArrayLit>(); in flatten_binop()
1627 al = follow_id(id)->cast<ArrayLit>(); in flatten_binop()
[all …]
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | chain_compressor.cpp | 64 auto* positive = c->arg(0)->cast<ArrayLit>(); in trackItem()
65 auto* negative = c->arg(1)->cast<ArrayLit>(); in trackItem()
127 auto* positive = c->arg(0)->cast<ArrayLit>(); in compress()
197 auto* positive = c->arg(0)->cast<ArrayLit>(); in compressItem()
220 auto* exprs = c->arg(0)->cast<ArrayLit>(); in compressItem()
244 if (pos->dynamicCast<ArrayLit>() != nullptr) { in constructClause()
253 if (neg->dynamicCast<ArrayLit>() != nullptr) { in constructClause()
263 assert(!(*args[0]->cast<ArrayLit>())[0]->isa<Id>() || in constructClause()
264 !(*args[1]->cast<ArrayLit>())[0]->isa<Id>() || in constructClause()
481 ArrayLit* al_c = eval_array_lit(_env, call->arg(0)); in leReplaceVar()
[all …]
|
| H A D | solver_instance_base.cpp | 115 if (auto* al = vd->e()->dynamicCast<ArrayLit>()) { in assignSolutionToOutput()
117 ArrayLit& array = *al; in assignSolutionToOutput()
140 ArrayLit* dims; in assignSolutionToOutput()
142 if (auto* al = e->dynamicCast<ArrayLit>()) { in assignSolutionToOutput()
145 dims = id->decl()->e()->cast<ArrayLit>(); in assignSolutionToOutput()
159 auto* array_solution = new ArrayLit(Location(), array_elems, dims_v); in assignSolutionToOutput()
180 auto* anns = c->arg(0)->cast<ArrayLit>(); in flattenSearchAnnotations()
202 auto* anns = c->arg(0)->cast<ArrayLit>(); in flattenMultipleObjectives()
|
| H A D | optimize_constraints.cpp | 40 ArrayLit* al_c = eval_array_lit(env, c->arg(0)); in o_linear()
45 ArrayLit* al_x = eval_array_lit(env, c->arg(1)); in o_linear()
153 auto* al_c_new = new ArrayLit(al_c->loc(), coeffs_e); in o_linear()
155 auto* al_x_new = new ArrayLit(al_x->loc(), x_e); in o_linear()
176 ArrayLit* al_c = eval_array_lit(env, c->arg(0)); in o_lin_exp()
181 ArrayLit* al_x = eval_array_lit(env, c->arg(1)); in o_lin_exp()
204 auto* al_c_new = new ArrayLit(al_c->loc(), coeffs_e); in o_lin_exp()
206 auto* al_x_new = new ArrayLit(al_x->loc(), x_e); in o_lin_exp()
228 ArrayLit* al = eval_array_lit(env, c->arg(1)); in o_element()
246 ArrayLit* al_pos = eval_array_lit(env, c->arg(0)); in o_clause()
[all …]
|
| H A D | builtins.cpp | 373 ArrayLit* al = eval_array_lit(env, e); in b_array_lb_int()
435 ArrayLit* al = eval_array_lit(env, e); in b_array_ub_int()
584 ArrayLit* al = eval_array_lit(env, e); in b_array_lb_float()
636 ArrayLit* al = eval_array_lit(env, e); in b_array_ub_float()
737 ArrayLit* al = eval_array_lit(env, e); in b_index_set()
754 ArrayLit* al = eval_array_lit(env, id); in b_index_set()
967 ArrayLit* al = eval_array_lit(env, e); in b_dom_bounds_array()
996 ArrayLit* al = nullptr; in b_dom_array()
1000 al = ae->cast<ArrayLit>(); in b_dom_array()
1134 auto* ret = new ArrayLit(al->loc(), *al); in b_array1d_list()
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/langtools/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 10 @ArrayLit(new int[] {1, 2, 3})
11 @interface ArrayLit { annotation
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/test/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 33 @ArrayLit(new int[] {1, 2, 3})
34 @interface ArrayLit { annotation
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/test/tools/javac/annotations/neg/ |
| H A D | ArrayLit.java | 33 @ArrayLit(new int[] {1, 2, 3})
34 @interface ArrayLit { annotation
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/ |
| H A D | geas_solverinstance.hh | 95 vec<bool> asBool(ArrayLit* al);
97 vec<geas::patom_t> asBoolVar(ArrayLit* al);
98 vec<int> asInt(ArrayLit* al);
101 vec<geas::intvar> asIntVar(ArrayLit* al);
|
| /dports/net-im/matterbridge/matterbridge-1.22.3/vendor/github.com/d5/tengo/v2/parser/ |
| H A D | expr.go | 16 type ArrayLit struct { struct
22 func (e *ArrayLit) exprNode() {} argument
25 func (e *ArrayLit) Pos() Pos { argument
30 func (e *ArrayLit) End() Pos { argument
34 func (e *ArrayLit) String() string { argument
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | ast.hpp | 289 inline ArrayLit::ArrayLit(const Location& loc, ArrayLit& v, in ArrayLit() function in MiniZinc::ArrayLit
322 inline ArrayLit::ArrayLit(const Location& loc, ArrayLit& v) : Expression(loc, E_ARRAYLIT, Type()) { in ArrayLit() function in MiniZinc::ArrayLit
350 inline ArrayLit::ArrayLit(const Location& loc, const std::vector<Expression*>& v) in ArrayLit() function in MiniZinc::ArrayLit
361 inline ArrayLit::ArrayLit(const Location& loc, const std::vector<KeepAlive>& v) in ArrayLit() function in MiniZinc::ArrayLit
376 inline ArrayLit::ArrayLit(const Location& loc, const std::vector<std::vector<Expression*> >& v) in ArrayLit() function in MiniZinc::ArrayLit
|
| H A D | astiterator.hh | 129 _t.vArrayLit(*c.e->template cast<ArrayLit>()); in run()
190 for (unsigned int i = 0; i < ce->cast<ArrayLit>()->size(); i++) { in run()
191 stack.push_back((*ce->cast<ArrayLit>())[i]); in run()
297 _t.vArrayLit(*e->template cast<ArrayLit>()); in run()
298 for (unsigned int i = 0; i < e->cast<ArrayLit>()->size(); i++) { in run()
299 stack.push_back((*e->cast<ArrayLit>())[i]); in run()
|
| H A D | json_parser.hh | 59 ArrayLit* parseArray(std::istream& is, bool possibleString = true);
63 static Expression* coerceArray(TypeInst* intendedTI, ArrayLit* al);
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/nl/ |
| H A D | nl_file.hh | 59 static const ArrayLit& getArrayLit(const Expression* e);
62 static std::vector<double> fromVecInt(const ArrayLit& v_int);
65 static std::vector<double> fromVecFloat(const ArrayLit& v_fp);
68 static std::vector<std::string> fromVecId(const ArrayLit& v_id);
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
| H A D | gecode_solverinstance.cpp | 755 ArrayLit* a = in arg2intargs()
756 arg->isa<Id>() ? arg->cast<Id>()->decl()->e()->cast<ArrayLit>() : arg->cast<ArrayLit>(); in arg2intargs()
774 ArrayLit* a = in arg2boolargs()
775 arg->isa<Id>() ? arg->cast<Id>()->decl()->e()->cast<ArrayLit>() : arg->cast<ArrayLit>(); in arg2boolargs()
823 ArrayLit* a = arg2arraylit(arg); in arg2intsetargs()
839 ArrayLit* a = arg2arraylit(arg); in arg2intvarargs()
873 ArrayLit* a = arg2arraylit(arg); in arg2boolvarargs()
959 ArrayLit* a; in arg2arraylit()
1023 ArrayLit* a = arg2arraylit(arg); in arg2setvarargs()
1038 ArrayLit* a = in arg2floatargs()
[all …]
|