| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | full_subst.c | 40 void init_full_subst(full_subst_t *subst, term_manager_t *mngr) { in init_full_subst()
55 void delete_full_subst(full_subst_t *subst) { in delete_full_subst()
95 term_t full_subst_get_map(full_subst_t *subst, term_t x) { in full_subst_get_map()
117 void full_subst_add_map(full_subst_t *subst, term_t x, term_t t) { in full_subst_add_map()
178 static bool fsubst_visit_pprod(full_subst_t *subst, pprod_t *p) { in fsubst_visit_pprod()
258 static bool fsubst_explore(full_subst_t *subst, int32_t i) { in fsubst_explore()
389 static bool fsubst_visit(full_subst_t *subst, term_t t) { in fsubst_visit()
493 void full_subst_remove_cycles(full_subst_t *subst) { in full_subst_remove_cycles()
515 void full_subst_clear_cache(full_subst_t *subst) { in full_subst_clear_cache()
1346 static term_t full_subst(full_subst_t *subst, term_t t) { in full_subst()
[all …]
|
| H A D | term_substitution.c | 100 void reset_term_subst(term_subst_t *subst) { in reset_term_subst()
145 bool term_subst_var_in_domain(term_subst_t *subst, term_t v) { in term_subst_var_in_domain()
155 term_t term_subst_var_mapping(term_subst_t *subst, term_t v) { in term_subst_var_mapping()
185 void term_subst_domain(term_subst_t *subst, ivector_t *d) { in term_subst_domain()
194 void delete_term_subst(term_subst_t *subst) { in delete_term_subst()
234 static term_t get_subst_of_var(term_subst_t *subst, term_t x) { in get_subst_of_var()
438 term_subst_t subst; in apply_beta_rule() local
599 static term_t subst_arith_eq(term_subst_t *subst, term_t t) { in subst_arith_eq()
607 static term_t subst_arith_ge(term_subst_t *subst, term_t t) { in subst_arith_ge()
1318 static term_t get_subst(term_subst_t *subst, term_t t) { in get_subst()
[all …]
|
| H A D | elim_subst.c | 33 void init_elim_subst(elim_subst_t *subst, term_manager_t *mngr, int_hset_t *elimvars) { in init_elim_subst()
44 void delete_elim_subst(elim_subst_t *subst) { in delete_elim_subst()
60 static bool is_elim_candidate(elim_subst_t *subst, term_t x) { in is_elim_candidate()
75 static bool test_elim_map(elim_subst_t *subst, term_t x, term_t t, bool check_cycles) { in test_elim_map()
95 static bool arith_elim_causes_cycle(elim_subst_t *subst, polynomial_t *p, term_t x) { in arith_elim_causes_cycle()
123 static bool elim_subst_try_arith_elim(elim_subst_t *subst, polynomial_t *p, bool check_cycles) { in elim_subst_try_arith_elim()
153 static bool elim_subst_try_arith_eq0(elim_subst_t *subst, term_t t, bool check_cycles) { in elim_subst_try_arith_eq0()
178 static bool elim_subst_try_eq(elim_subst_t *subst, term_t t1, term_t t2, bool check_cycles) { in elim_subst_try_eq()
234 static bool elim_subst_try_prop_variable(elim_subst_t *subst, term_t f) { in elim_subst_try_prop_variable()
265 bool elim_subst_try_map(elim_subst_t *subst, term_t f, bool check_cycles) { in elim_subst_try_map()
[all …]
|
| /dports/sysutils/syslog-ng/syslog-ng-3.35.1/lib/tests/ |
| H A D | test_cfg_lexer_subst.c | 154 CfgLexerSubst *subst = construct_object(); in Test() local
161 CfgLexerSubst *subst = construct_object(); in Test() local
168 CfgLexerSubst *subst = construct_object(); in Test() local
175 CfgLexerSubst *subst = construct_object(); in Test() local
184 CfgLexerSubst *subst = construct_object(); in Test() local
194 CfgLexerSubst *subst = construct_object(); in Test() local
206 CfgLexerSubst *subst = construct_object(); in Test() local
220 CfgLexerSubst *subst = construct_object_with_values(additional_values); in Test() local
240 CfgLexerSubst *subst = construct_object_with_values(additional_values); in Test() local
257 CfgLexerSubst *subst = construct_object_with_values(additional_values); in Test() local
[all …]
|
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_subst.c | 63 bool SubstBacktrackSingle(Subst_p subst) in SubstBacktrackSingle()
92 int SubstBacktrackToPos(Subst_p subst, PStackPointer pos) in SubstBacktrackToPos()
116 int SubstBacktrack(Subst_p subst) in SubstBacktrack()
151 PStackPointer SubstNormTerm(Term_p term, Subst_p subst, VarBank_p vars) in SubstNormTerm()
225 long SubstPrint(FILE* out, Subst_p subst, Sig_p sig, DerefType deref) in SubstPrint()
264 bool SubstIsRenaming(Subst_p subst) in SubstIsRenaming()
322 void SubstBacktrackSkolem(Subst_p subst) in SubstBacktrackSkolem()
349 void SubstSkolemizeTerm(Term_p term, Subst_p subst, Sig_p sig) in SubstSkolemizeTerm()
387 void SubstCompleteInstance(Subst_p subst, Term_p term, in SubstCompleteInstance()
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/sasl/test/release_handler_SUITE_data/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/sasl/examples/src/ |
| H A D | target_system.erl | 210 subst(Str, Vars) -> function
213 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
215 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
217 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
219 subst([C| Rest], Vars, Result) -> function
221 subst([], _Vars, Result) -> function
|
| /dports/math/eprover/eprover-E-2.0/LEARN/ |
| H A D | cle_patterns.c | 54 static FunCode get_new_fun_symbol(PatternSubst_p subst, int arity) in get_new_fun_symbol()
81 FunCode pat_symb_comp_val(PatternSubst_p subst, FunCode f_code) in pat_symb_comp_val()
286 static void initialize_lit_list(PatternSubst_p subst, Eqn_p list) in initialize_lit_list()
516 static bool complete_state(PatternSubst_p subst, Eqn_p list, in complete_state()
785 PatternSubst_p PatternSubstCopy(PatternSubst_p subst) in PatternSubstCopy()
812 FunCode PatSymbValue(PatternSubst_p subst, FunCode f_code) in PatSymbValue()
844 bool PatSymbolIsBound(PatternSubst_p subst, FunCode f_code) in PatSymbolIsBound()
863 bool PatternSubstBacktrack(PatternSubst_p subst, PStackPointer in PatternSubstBacktrack()
917 bool PatternTermCompute(PatternSubst_p subst, Term_p term) in PatternTermCompute()
1006 bool PatternTermPairCompute(PatternSubst_p subst, Eqn_p eqn, in PatternTermPairCompute()
[all …]
|
| /dports/devel/pytype/pytype-2021.9.9/pytype/pytd/ |
| H A D | type_match.py | 200 def match_Generic_against_Generic(self, t1, t2, subst): # pylint: disable=invalid-name argument
218 def match_Unknown_against_Generic(self, t1, t2, subst): # pylint: disable=invalid-name argument
235 def match_Generic_against_Unknown(self, t1, t2, subst): # pylint: disable=invalid-name argument
239 def maybe_lookup_type_param(self, t, subst): argument
269 def match_type_against_type(self, t1, t2, subst): argument
280 def _match_type_against_type(self, t1, t2, subst): argument
364 def match_Signature_against_Signature(self, sig1, sig2, subst, argument
433 def match_Function_against_Class(self, f1, cls2, subst, cache): argument
476 def match_Class_against_Class(self, cls1, cls2, subst): # pylint: disable=invalid-name argument
481 …def match_Protocol_against_Unknown(self, protocol, unknown, subst): # pylint: disable=invalid-name argument
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libaddressinput/src/cpp/test/util/ |
| H A D | string_util_test.cc | 27 std::vector<std::string> subst; in TEST() local
36 std::vector<std::string> subst; in TEST() local
46 std::vector<std::string> subst; in TEST() local
66 std::vector<std::string> subst; in TEST() local
|
| /dports/devel/pytype/pytype-2021.9.9/pytype/ |
| H A D | matcher.py | 218 def match_var_against_type(self, var, other_type, subst, view): argument
423 def _match_type_against_type(self, left, other_type, subst, view): argument
542 self, left, other_type, subst, view): argument
567 def _mutate_type_parameters(self, params, value, subst): argument
590 def match(left, right, subst): argument
638 def _merge_substs(self, subst, new_substs): argument
648 def _instantiate_and_match(self, left, other_type, subst, view, argument
654 def _match_all_bindings(self, var, other_type, subst, view): argument
759 subst, view): argument
795 subst, view): argument
[all …]
|
| /dports/benchmarks/tsung/tsung-1.7.0/src/tsung/ |
| H A D | ts_search.erl | 52 subst(Int, _DynVar) when is_integer(Int) -> function
54 subst(Atom, _DynVar) when is_atom(Atom) -> function
56 subst(Binary, DynVar) when is_binary(Binary) -> function
58 subst(String, DynVar) -> function
61 subst([], _DynVar, Acc) -> function
63 subst([$%,$%,$_|Rest], DynVar, Acc) -> function
65 subst([$%,$%|Rest], DynVar, Acc) -> function
67 subst([H|Tail], DynVar, Acc) -> function
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/erts/test/ |
| H A D | upgrade_SUITE.erl | 418 subst(Str, Vars) -> function
421 subst([$%, C| Rest], Vars, Result) when $A =< C, C =< $Z -> function
423 subst([$%, C| Rest], Vars, Result) when $a =< C, C =< $z -> function
425 subst([$%, C| Rest], Vars, Result) when C == $_ -> function
427 subst([C| Rest], Vars, Result) -> function
429 subst([], _Vars, Result) -> function
|