Home
last modified time | relevance | path

Searched defs:bound_vars (Results 1 – 25 of 39) sorted by relevance

12

/dports/math/z3/z3-z3-4.8.13/src/muz/transforms/
H A Ddl_mk_magic_sets.cpp45 void mk_magic_sets::adornment::populate(app * lit, const var_idx_set & bound_vars) { in populate()
65 unsigned get_bound_arg_count(app * lit, const var_idx_set & bound_vars) { in get_bound_arg_count()
79 float mk_magic_sets::get_unbound_cost(app * lit, const var_idx_set & bound_vars) { in get_unbound_cost()
99 int mk_magic_sets::pop_bound(unsigned_vector & cont, rule * r, const var_idx_set & bound_vars) { in pop_bound()
126 app * mk_magic_sets::adorn_literal(app * lit, const var_idx_set & bound_vars) { in adorn_literal()
208 var_idx_set bound_vars; in transform_rule() local
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/
H A Ddl_mk_magic_sets.cpp45 void mk_magic_sets::adornment::populate(app * lit, const var_idx_set & bound_vars) { in populate()
65 unsigned get_bound_arg_count(app * lit, const var_idx_set & bound_vars) { in get_bound_arg_count()
79 float mk_magic_sets::get_unbound_cost(app * lit, const var_idx_set & bound_vars) { in get_unbound_cost()
99 int mk_magic_sets::pop_bound(unsigned_vector & cont, rule * r, const var_idx_set & bound_vars) { in pop_bound()
126 app * mk_magic_sets::adorn_literal(app * lit, const var_idx_set & bound_vars) { in adorn_literal()
208 var_idx_set bound_vars; in transform_rule() local
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/
H A Ddb.rs85 let bound_vars = bound_vars_for_item(self.interner.tcx, def_id); in associated_ty_data() localVariable
109 let bound_vars = bound_vars_for_item(self.interner.tcx, def_id); in trait_datum() localVariable
172 let bound_vars = bound_vars_for_item(self.interner.tcx, adt_def.did); in adt_datum() localVariable
243 let bound_vars = bound_vars_for_item(self.interner.tcx, def_id); in fn_def_datum() localVariable
283 let bound_vars = bound_vars_for_item(self.interner.tcx, def_id); in impl_datum() localVariable
332 let bound_vars = bound_vars_for_item(self.interner.tcx, *impl_def_id); in impls_for_trait() localVariable
454 let bound_vars = bound_vars_for_item(self.interner.tcx, def_id); in associated_ty_value() localVariable
488 let bound_vars = ty::fold::shift_vars( in opaque_ty_data() localVariable
/dports/lang/ocaml/ocaml-4.05.0/asmcomp/
H A Dexport_info.mli60 bound_vars : approx Var_within_closure.Map.t; RecordField
H A Dexport_info.ml57 bound_vars : approx Var_within_closure.Map.t; RecordField
/dports/lang/ocaml-nox11/ocaml-4.05.0/asmcomp/
H A Dexport_info.mli60 bound_vars : approx Var_within_closure.Map.t; RecordField
H A Dexport_info.ml57 bound_vars : approx Var_within_closure.Map.t; RecordField
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/
H A Dintrinsic.rs118 let bound_vars = tcx.mk_bound_variable_kinds( in check_intrinsic_type() localVariable
H A Dcompare_method.rs1287 let mut bound_vars: smallvec::SmallVec<[ty::BoundVariableKind; 8]> = in check_type_bounds() localVariable
1323 let bound_vars = tcx.mk_bound_variable_kinds(bound_vars.into_iter()); in check_type_bounds() localVariable
H A Dgenerator_interior.rs243 let bound_vars = fcx.tcx.mk_bound_variable_kinds( in resolve_interior() localVariable
H A Dclosure.rs565 let bound_vars = self.tcx.late_bound_vars(hir_id); in supplied_sig_of_closure() localVariable
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/fn_ctxt/
H A Dsuggestions.rs556 let bound_vars = self.tcx.late_bound_vars(fn_id); in suggest_missing_return_type() localVariable
608 let bound_vars = self.tcx.late_bound_vars(fn_id); in suggest_missing_break_or_return_expr() localVariable
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/python/tvm/relay/analysis/
H A Danalysis.py163 def bound_vars(expr): function
/dports/misc/tvm/incubator-tvm-0.6.1/python/tvm/relay/
H A Danalysis.py132 def bound_vars(expr): function
/dports/misc/py-tvm/incubator-tvm-0.6.1/python/tvm/relay/
H A Danalysis.py132 def bound_vars(expr): function
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/
H A Dchalk_db.rs458 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in trait_datum_query() localVariable
527 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in struct_datum_query() localVariable
577 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in impl_def_datum() localVariable
670 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in fn_def_datum_query() localVariable
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/
H A Dchalk_db.rs457 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in trait_datum_query() localVariable
526 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in struct_datum_query() localVariable
576 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in impl_def_datum() localVariable
669 let bound_vars = generic_params.bound_vars_subst(DebruijnIndex::INNERMOST); in fn_def_datum_query() localVariable
/dports/math/z3/z3-z3-4.8.13/src/ast/normal_forms/
H A Ddefined_names.cpp156 void defined_names::impl::bound_vars(sort_ref_buffer const & sorts, buffer<symbol> const & names, e… in bound_vars() function in defined_names::impl
180 void defined_names::impl::bound_vars(sort_ref_buffer const & sorts, buffer<symbol> const & names, e… in bound_vars() function in defined_names::impl
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/normal_forms/
H A Ddefined_names.cpp154 void defined_names::impl::bound_vars(sort_ref_buffer const & sorts, buffer<symbol> const & names, e… in bound_vars() function in defined_names::impl
178 void defined_names::impl::bound_vars(sort_ref_buffer const & sorts, buffer<symbol> const & names, e… in bound_vars() function in defined_names::impl
/dports/lang/ocaml/ocaml-4.05.0/middle_end/
H A Dsimple_value_approx.ml71 bound_vars : t Var_within_closure.Map.t; RecordField
/dports/lang/ocaml-nox11/ocaml-4.05.0/middle_end/
H A Dsimple_value_approx.ml71 bound_vars : t Var_within_closure.Map.t; RecordField
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/
H A Dcodec.rs231 let bound_vars = Decodable::decode(decoder)?; in decode() localVariable
511 let bound_vars = Decodable::decode(decoder)?; localVariable
/dports/math/z3/z3-z3-4.8.13/src/math/simplex/
H A Dmodel_based_opt.cpp230 unsigned_vector bound_trail, bound_vars; in maximize() local
301 …void model_based_opt::update_values(unsigned_vector const& bound_vars, unsigned_vector const& boun… in update_values()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/simplex/
H A Dmodel_based_opt.cpp213 unsigned_vector bound_trail, bound_vars; in maximize() local
284 …void model_based_opt::update_values(unsigned_vector const& bound_vars, unsigned_vector const& boun… in update_values()
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cpp.cpp3015 const std::vector<Term>& bound_vars, in defineFun()
3054 const std::vector<Term>& bound_vars, in defineFun()
3093 const std::vector<Term>& bound_vars, in defineFunRec()
3132 const std::vector<Term>& bound_vars, in defineFunRec()
3170 const std::vector<std::vector<Term>>& bound_vars, in defineFunsRec()

12