Home
last modified time | relevance | path

Searched refs:unify (Results 1 – 25 of 3127) sorted by relevance

12345678910>>...126

/dports/lang/maude/maude-2.7.1/tests/Misc/
H A DassocUnification.maude39 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 DCU_Unification.maude13 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 Dunification.maude15 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 DCU_Unification.expected2 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 Dtest_domains.py33 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 Dunify.m67 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 Dtest_unify.py2 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 Dtest_sympy.py3 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 Duniversal.hrx2 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 Dtype.hrx2 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 Dpseudo.hrx2 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 Dtest_domains.py22 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 Dwww.adelaidenow.com.au24 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 Dwww.heraldsun.com.au22 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 Dwww.couriermail.com.au25 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 Dwww.dailytelegraph.com.au22 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 Dunify.rkt5 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 Derror.hrx2 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 Dcompound.hrx2 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 Dcombinators.hrx2 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 Dinfer.rs11 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 Dinfer.rs11 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 Dinfer.rs11 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 DunificationMar2013.expected2 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 DMakefile.am7 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 $@

12345678910>>...126