/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
|