/dports/lang/maude/maude-2.7.1/tests/Misc/ |
H A D | assocUnification.maude | 39 unify A B =? X . 40 unify A B =? X Y . 41 unify A B C =? X Y . 42 unify A B C =? X Y Z . 53 unify A B =? B C . 59 unify a A a =? B a C . 203 unify a Q =? Q c . 204 unify P b =? c P . 573 unify X X =? Y Y . 581 unify X Y =? Y X . [all …]
|
H A D | CU_Unification.maude | 13 unify f(X, Y) =? f(U, V) . 16 unify f(X, Y) =? X . 17 variant unify f(X, Y) =? X . 19 unify f(X, Y) =? Y . 32 unify f(X, Y) =? f(U, V) . 35 unify f(X, Y) =? X . 38 unify f(X, Y) =? Y . 54 unify f(X, Y) =? X . 57 unify f(X, Y) =? Y . 73 unify f(X, Y) =? X . [all …]
|
H A D | unification.maude | 15 unify [100] in NAT : 20 unify in CONVERSION : 82 unify f(X, Y) =? f(A, B) . 84 unify f(X, Y) =? f(a, b) . 85 unify f(X, Y) =? f(a, b, c) . 88 unify f(X, X, Y) =? f(X, Y, Y) . 89 unify f(X, X, Y) =? f(X, Y) . 91 unify f(X, X, Y) =? f(A, B, C) . 94 unify f(X, X, X) =? f(a, a) . 107 unify f(A, B) =? f(C, D) . [all …]
|
H A D | CU_Unification.expected | 2 unify in FOO : f(X, Y) =? f(U, V) . 60 unify in FOO : f(X, Y) =? X . 66 variant unify in FOO : f(X, Y) =? X . 76 unify in FOO : f(X, Y) =? Y . 92 unify in FOO2 : f(X, Y) =? f(U, V) . 150 unify in FOO2 : f(X, Y) =? X . 166 unify in FOO2 : f(X, Y) =? Y . 302 unify in FOO3 : f(X, Y) =? X . 322 unify in FOO3 : f(X, Y) =? Y . 475 unify in FOO4 : f(X, Y) =? X . [all …]
|
/dports/math/py-sympy/sympy-1.9/sympy/polys/domains/tests/ |
H A D | test_domains.py | 33 def unify(K0, K1): function 34 return K0.unify(K1) 39 assert unify(F3, F3) == F3 40 assert unify(F3, ZZ) == ZZ 41 assert unify(F3, QQ) == QQ 43 assert unify(F3, RR) == RR 44 assert unify(F3, CC) == CC 47 assert unify(F3, EX) == EX 49 assert unify(ZZ, F3) == ZZ 50 assert unify(ZZ, ZZ) == ZZ [all …]
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/analytica/ |
H A D | unify.m | 67 unify[a_, Var[n_]] := 70 unify[Var[n_], a_] := 73 unify[Var[n_] + a_, 0] := 82 unify[a_ == b_, c_ == d_] := unify[a - b, c - d]; 84 unify[a_ <= b_, c_ <= d_] := unify[a - b, c - d]; 86 unify[a_ < b_, c_ < d_] := unify[a - b, c - d]; 92 unify[a_ + b_., a_ + c_.] := unify[b, c]; 94 unify[a_ b_., a_ c_.] := unify[b, c]; 100 unify[a_ b_, c_ d_] := 119 unify[_, _] := False; [all …]
|
/dports/math/py-sympy/sympy-1.9/sympy/unify/tests/ |
H A D | test_unify.py | 2 from sympy.unify import core 15 def unify(a, b, s={}): function 20 assert list(unify(a, x, {})) == [{x: a}] 21 assert list(unify(a, x, {x: 10})) == [] 22 assert list(unify(1, x, {})) == [{x: 1}] 23 assert list(unify(a, a, {})) == [{}] 27 assert list(unify((a, b), (x, x), {})) == [] 28 assert list(unify((y, z), (x, x), {}))!= [] 46 result = list(unify(c1, c2, {})) 70 assert len(list(unify(c1, c2, {}))) == 2 [all …]
|
H A D | test_sympy.py | 3 from sympy.unify.core import Compound, Variable 4 from sympy.unify.usympy import (deconstruct, construct, unify, is_associative, 36 assert list(unify(expr, pattern, variables=(a, b, c))) == \ 46 assert list(unify(expr, pattern, {}, (a, b))) == [{a: 1, b: 2}] 47 assert list(unify(expr, pattern, {a: 5}, (a, b))) == [] 59 result = tuple(unify(expr, pattern, {}, (a, b, c))) 76 result = list(unify(expr, pattern, {}, (a, c))) 97 assert list(unify(expr, pattern, {}, (p, q))) == [{p: x}] 105 assert list(unify(X, Z, {}, variables=[n, Str('X')])) == [] 143 assert list(unify(Interval(0, 1) + Interval(10, 11), [all …]
|
/dports/textproc/p5-CSS-Sass/CSS-Sass-3.6.4/t/sass-spec/spec/core_functions/selector/unify/simple/ |
H A D | universal.hrx | 2 a {b: inspect(selector-unify("*", "c|d"))} 22 a {b: selector-unify("*", "c")} 32 a {b: selector-unify("*", "*|c")} 42 a {b: selector-unify("c|*", "c|d")} 82 a {b: selector-unify("c|*", "*|d")} 102 a {b: selector-unify("|*", "|c")} 122 a {b: selector-unify("|*", "*|c")} 142 a {b: selector-unify("*|*", "|c")} 152 a {b: selector-unify("*|*", "c")} 192 a {b: selector-unify("*", "*")} [all …]
|
H A D | type.hrx | 2 a {b: inspect(selector-unify("c", "d|c"))} 12 a {b: inspect(selector-unify("c", "|c"))} 22 a {b: selector-unify("c", "c")} 42 a {b: selector-unify("c", "*|c")} 62 a {b: selector-unify("c|d", "c|d")} 142 a {b: selector-unify("|c", "|c")} 172 a {b: selector-unify("|c", "*|c")} 182 a {b: selector-unify("|c", "*|c")} 232 a {b: selector-unify("*|c", "c")} 292 a {b: selector-unify("c", "*")} [all …]
|
H A D | pseudo.hrx | 2 a {b: selector-unify(":c", ":c")} 12 a {b: selector-unify(":c", ":d")} 22 a {b: selector-unify("::c", "::c")} 32 a {b: inspect(selector-unify("::c", "::d"))} 42 a {b: selector-unify(":before", "::before")} 52 a {b: selector-unify(":after", "::after")} 89 a {b: selector-unify(":c(@#$)", ":c(@#$)")} 99 a {b: selector-unify(":c(@#$)", ":c(*&^)")} 109 a {b: selector-unify("::c(@#$)", "::c(@#$)")} 129 a {b: selector-unify(":is(.c)", ":is(.c)")} [all …]
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/domains/ |
H A D | test_domains.py | 22 def unify(K0, K1): function 23 return K0.unify(K1) 55 assert unify(F3, F3) == F3 56 assert unify(F3, ZZ) == F3 57 assert unify(F3, QQ) == QQ 59 assert unify(F3, RR) == RR 60 assert unify(F3, CC) == CC 106 assert unify(CC, CC2) == unify(CC2, CC) == ComplexField(prec=CC.precision, 109 assert unify(RR, RR2) == unify(RR2, RR) == RealField(prec=RR.precision, 291 assert sqrt2.unify(rootof) == rootof.unify(sqrt2) == ans [all …]
|
/dports/www/py-protego/Protego-0.1.16/tests/test_data/ |
H A D | www.adelaidenow.com.au | 24 Disallow: /business-unify/ 27 Disallow: /help-unify/ 28 Disallow: /home-unify-an/ 29 Disallow: /money-unify/ 30 Disallow: /news-unify/ 32 Disallow: /realestate-unify/ 33 Disallow: /sport-unify/ 34 Disallow: /technology-unify/ 35 Disallow: /travel-unify/ 36 Disallow: /nocookies-unify/ [all …]
|
H A D | www.heraldsun.com.au | 22 Disallow: /business-unify/ 25 Disallow: /help-unify/ 26 Disallow: /home-unify-hs/ 27 Disallow: /money-unify/ 28 Disallow: /news-unify/ 30 Disallow: /realestate-unify/ 31 Disallow: /sport-unify/ 32 Disallow: /technology-unify/ 33 Disallow: /travel-unify/ 34 Disallow: /nocookies-unify/ [all …]
|
H A D | www.couriermail.com.au | 25 Disallow: /business-unify/ 28 Disallow: /help-unify/ 29 Disallow: /home-unify-cm/ 30 Disallow: /money-unify/ 31 Disallow: /news-unify/ 33 Disallow: /realestate-unify/ 34 Disallow: /sport-unify/ 35 Disallow: /technology-unify/ 36 Disallow: /travel-unify/ 37 Disallow: /nocookies-unify/ [all …]
|
H A D | www.dailytelegraph.com.au | 22 Disallow: /business-unify/ 23 Disallow: /classifieds-unify/ 25 Disallow: /help-unify/ 26 Disallow: /home-unify-dt/ 27 Disallow: /money-unify/ 28 Disallow: /news-unify/ 30 Disallow: /realestate-unify/ 31 Disallow: /sport-unify/ 32 Disallow: /technology-unify/ 33 Disallow: /travel-unify/ [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/datalog/tests/private/ |
H A D | unify.rkt | 5 datalog/private/unify) 6 (require/expose datalog/private/unify (chase)) 8 (provide unify-tests) 10 (define unify-tests 12 "unify" 30 "unify-term" 42 "unify-terms" 46 (test-false "/con" (unify-terms (empty-env) (list) (list (make-constant #f 'k2)))) 47 (test-false "con/" (unify-terms (empty-env) (list (make-constant #f 'k2)) (list)))) 50 "unify" [all …]
|
/dports/textproc/p5-CSS-Sass/CSS-Sass-3.6.4/t/sass-spec/spec/core_functions/selector/unify/ |
H A D | error.hrx | 2 a {b: selector-unify("&", "c")} 12 1 | a {b: selector-unify("&", "c")} 21 >> a {b: selector-unify("&", "c")} 28 a {b: selector-unify("[c", "d")} 38 1 | a {b: selector-unify("[c", "d")} 47 >> a {b: selector-unify("[c", "d")} 59 a {b: selector-unify(1, "c")} 65 1 | a {b: selector-unify(1, "c")} 73 a {b: selector-unify("c", "&")} 99 a {b: selector-unify("c", "[d")} [all …]
|
H A D | compound.hrx | 2 a {b: selector-unify(".c.d", ".e.f")} 12 a {b: selector-unify(".c.d", ".d.e")} 22 a {b: selector-unify(".c.d", ".c.d")} 32 a {b: selector-unify(".c.d", ".e.f")} 42 a {b: selector-unify(".c", "d")} 52 a {b: selector-unify("::c", ".d")} 62 a {b: selector-unify(":c", ".d")} 72 a {b: selector-unify("::c", ":d")} 82 a {b: selector-unify(":c", "::d")}
|
/dports/textproc/p5-CSS-Sass/CSS-Sass-3.6.4/t/sass-spec/spec/core_functions/selector/unify/complex/ |
H A D | combinators.hrx | 2 a {b: selector-unify(".c > .d", ".e .f")} 12 a {b: selector-unify(".c > .s1", ".c .s2")} 42 a {b: selector-unify(".c > .d", ".e > .f")} 82 a {b: selector-unify(".c > .s1", ".c ~ .s2")} 92 a {b: selector-unify(".c > .s1", ".c + .s2")} 102 a {b: selector-unify(".c ~ .s1", ".c .s2")} 122 a {b: selector-unify(".c ~ .d", ".e ~ .f")} 172 a {b: selector-unify(".c ~ .d", ".e + .f")} 339 a {b: selector-unify("> .c", ".d")} 349 a {b: selector-unify(".c", "~ .d")} [all …]
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
H A D | infer.rs | 11 pub mod unify; module 18 unify: ena::unify::InPlaceUnificationTable<EnaVariable<I>>, field 24 unify_snapshot: ena::unify::Snapshot<ena::unify::InPlace<EnaVariable<I>>>, 36 unify: ena::unify::UnificationTable::new(), in new() 99 let unify_snapshot = self.unify.snapshot(); in snapshot() 111 self.unify.rollback_to(snapshot.unify_snapshot); in rollback_to() 118 self.unify.commit(snapshot.unify_snapshot); in commit() 151 self.unify in ty_root() 159 self.unify in lifetime_root() 173 self.unify.find(var).into() in inference_var_root() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
H A D | infer.rs | 11 pub mod unify; module 18 unify: ena::unify::InPlaceUnificationTable<EnaVariable<I>>, field 24 unify_snapshot: ena::unify::Snapshot<ena::unify::InPlace<EnaVariable<I>>>, 36 unify: ena::unify::UnificationTable::new(), in new() 99 let unify_snapshot = self.unify.snapshot(); in snapshot() 111 self.unify.rollback_to(snapshot.unify_snapshot); in rollback_to() 118 self.unify.commit(snapshot.unify_snapshot); in commit() 151 self.unify in ty_root() 159 self.unify in lifetime_root() 173 self.unify.find(var).into() in inference_var_root() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
H A D | infer.rs | 11 pub mod unify; module 18 unify: ena::unify::InPlaceUnificationTable<EnaVariable<I>>, field 24 unify_snapshot: ena::unify::Snapshot<ena::unify::InPlace<EnaVariable<I>>>, 36 unify: ena::unify::UnificationTable::new(), in new() 99 let unify_snapshot = self.unify.snapshot(); in snapshot() 111 self.unify.rollback_to(snapshot.unify_snapshot); in rollback_to() 118 self.unify.commit(snapshot.unify_snapshot); in commit() 151 self.unify in ty_root() 159 self.unify in lifetime_root() 173 self.unify.find(var).into() in inference_var_root() [all …]
|
/dports/lang/maude/maude-2.7.1/tests/ResolvedBugs/ |
H A D | unificationMar2013.expected | 2 unify in FOO : X =? f(f(Y)) /\ Y =? X /\ Y =? f(X) . 5 unify in FOO : X =? f(Y) /\ Y =? f(f(X)) /\ X =? Y . 8 unify in FOO2 : f(a, A) =? f(a, X) /\ f(a, Y) =? f(a, X) /\ f(a, g(A)) =? f(a, 16 unify in FOO2 : f(a, Y) =? f(a, X) /\ f(a, g(A)) =? f(a, g(X)) /\ f(a, g(Y)) =? 24 unify in FOO3 : f(a, X) =? f(a, g(X)) /\ f(a, X) =? f(a, g(g(X))) . 27 unify in FOO3 : Y =? X /\ f(a, X) =? f(a, g(Y)) /\ f(a, X) =? f(a, g(g(Y))) . 30 unify in FOO4 : f(a, Y) =? f(a, X) . 36 unify in FOO4 : f(X, a) =? f(X, a) . 41 unify in FOO4 : f(a, b) =? f(a, b) . 46 unify in FOO4 : f(X, Y) =? f(X, Y) .
|
/dports/textproc/wdiff/wdiff-1.2.2/man/ |
H A D | Makefile.am | 7 EXTRA_MANS = mdiff.1 unify.1 wdiff2.1 8 EXTRA_DIST = mdiff.1 unify.1 wdiff.1 wdiff2.1 wdiff.h2m 23 unify.1: $(top_srcdir)/src/unify.c $(common_mandeps) 24 test ../src/unify -nt $< || $(MAKE) -C ../src unify 25 $(path_help2man) unify -o $@
|