| /dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
| H A D | Random.cpp | 121 LowerRandom(const vector<VarOrRVar> &free_vars, int tag) { in LowerRandom()
133 Expr lower_random(const Expr &e, const vector<VarOrRVar> &free_vars, int tag) { in lower_random()
|
| H A D | UniquifyVariableNames.cpp | 118 UniquifyVariableNames(const Scope<string> *free_vars) { in UniquifyVariableNames()
161 Scope<string> free_vars; member in Halide::Internal::__anon4b0b54fd0111::FindFreeVars
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/typing/ |
| H A D | datarepr.ml | 24 let free_vars ?(param=false) ty = var
|
| /dports/lang/ocaml/ocaml-4.05.0/typing/ |
| H A D | datarepr.ml | 24 let free_vars ?(param=false) ty = var
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/infer/ |
| H A D | canonicalize.rs | 43 let free_vars = q.free_vars.clone(); in canonicalize() localVariable
63 pub free_vars: Vec<ParameterEnaVariable<T::Interner>>, field
72 free_vars: Vec<ParameterEnaVariable<I>>, field
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/infer/ |
| H A D | canonicalize.rs | 43 let free_vars = q.free_vars.clone(); in canonicalize() localVariable
63 pub free_vars: Vec<ParameterEnaVariable<T::Interner>>, field
72 free_vars: Vec<ParameterEnaVariable<I>>, field
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/infer/ |
| H A D | canonicalize.rs | 43 let free_vars = q.free_vars.clone(); in canonicalize() localVariable
63 pub free_vars: Vec<ParameterEnaVariable<T::Interner>>, field
72 free_vars: Vec<ParameterEnaVariable<I>>, field
|
| /dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/mpec/plugins/ |
| H A D | mpec4.py | 88 def to_common_form(self, cdata, free_vars): argument
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | global_negate.cpp | 35 std::vector<Node> free_vars; in simplify() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | sygus_process_conj.cpp | 96 NodeHashFunction>& free_vars) in inferDefinition()
260 NodeHashFunction>& free_vars) in processTerms()
640 free_vars; in processConjunct() local
736 NodeHashFunction>& free_vars) in getFreeVariables()
|
| /dports/mail/alpine/alpine-465e23b/pith/ |
| H A D | state.c | 294 free_vars(struct pine *ps) in free_vars() function
|
| /dports/editors/pico-alpine/alpine-465e23b/pith/ |
| H A D | state.c | 294 free_vars(struct pine *ps) in free_vars() function
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/pattern/ |
| H A D | pattern_inference.cpp | 181 uint_set free_vars; in save_candidate() local
211 uint_set free_vars; in save_candidate() local
270 void pattern_inference_cfg::add_candidate(app * n, uint_set const & free_vars, unsigned size) { in add_candidate()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/pattern/ |
| H A D | pattern_inference.cpp | 181 uint_set free_vars; in save_candidate() local
211 uint_set free_vars; in save_candidate() local
270 void pattern_inference_cfg::add_candidate(app * n, uint_set const & free_vars, unsigned size) { in add_candidate()
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_tcnf.c | 239 PStack_p free_vars) in tformula_rek_skolemize()
840 PTree_p free_vars = NULL; in TFormulaDefRename() local
1575 PTree_p free_vars = NULL; in TFormulaSkolemizeOutermost() local
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | q_mbi.h | 46 bool_vector free_vars; // variables that occur in positive equalities member
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | q_mbi.h | 45 bool_vector free_vars; // variables that occur in positive equalities member
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/include/tvm/runtime/vm/ |
| H A D | vm.h | 57 std::vector<ObjectRef> free_vars; variable
|
| /dports/math/octave/octave-6.4.0/libinterp/parse-tree/ |
| H A D | pt-fcn-handle.cc | 132 std::set<std::string> free_vars = anon_fcn_ctx.free_variables (); in evaluate() local
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/python/tvm/relay/analysis/ |
| H A D | analysis.py | 141 def free_vars(expr): function
|
| /dports/misc/tvm/incubator-tvm-0.6.1/python/tvm/relay/ |
| H A D | analysis.py | 110 def free_vars(expr): function
|
| /dports/misc/py-tvm/incubator-tvm-0.6.1/python/tvm/relay/ |
| H A D | analysis.py | 110 def free_vars(expr): function
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/bytecomp/ |
| H A D | bytegen.ml | 282 free_vars: Ident.t list; (* free variables of the function *) RecordField
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/relay/backend/vm/ |
| H A D | lambda_lift.cc | 102 auto free_vars = FreeVars(func); in VisitExpr_() local
|
| /dports/misc/py-tvm/incubator-tvm-0.6.1/src/relay/backend/vm/ |
| H A D | lambda_lift.cc | 107 auto free_vars = FreeVars(func); in VisitExpr_() local
|