deleted: ../../test/logFiles/log
This commit is contained in:
Martin Plümicke
parent
f617ad8946
commit
f5398fa8e9
@ -1,436 +0,0 @@
|
||||
FC:\{java.lang.Number=Elem: Node(java.lang.Number)
|
||||
Prec: [java.lang.Object, java.io.Serializable]
|
||||
Desc: [java.lang.Integer, java.lang.Long]
|
||||
|
||||
, java.lang.Object=Elem: Node(java.lang.Object)
|
||||
Prec: [java.lang.Object]
|
||||
Desc: [java.lang.Number, java.lang.Object, java.lang.Integer, java.lang.Comparable<CCN>, java.lang.Long, java.lang.Comparable<BPJ>, While, java.io.Serializable, java.lang.Comparable<BVY>]
|
||||
|
||||
, java.lang.Comparable=Elem: Node(java.lang.Comparable)
|
||||
Prec: []
|
||||
Desc: [java.lang.Integer, java.lang.Long]
|
||||
|
||||
, java.lang.Integer=Elem: Node(java.lang.Integer)
|
||||
Prec: [java.lang.Number, java.lang.Object, java.lang.Comparable, java.io.Serializable]
|
||||
Desc: []
|
||||
|
||||
, java.lang.Comparable<CCN>=Elem: Node(java.lang.Comparable<CCN>)
|
||||
Prec: [java.lang.Object]
|
||||
Desc: []
|
||||
|
||||
, java.lang.Long=Elem: Node(java.lang.Long)
|
||||
Prec: [java.lang.Number, java.lang.Object, java.lang.Comparable, java.io.Serializable]
|
||||
Desc: []
|
||||
|
||||
, java.lang.Comparable<BPJ>=Elem: Node(java.lang.Comparable<BPJ>)
|
||||
Prec: [java.lang.Object]
|
||||
Desc: []
|
||||
|
||||
, java.io.Serializable=Elem: Node(java.io.Serializable)
|
||||
Prec: [java.lang.Object]
|
||||
Desc: [java.lang.Number, java.lang.Integer, java.lang.Long]
|
||||
|
||||
, While=Elem: Node(While)
|
||||
Prec: [java.lang.Object]
|
||||
Desc: []
|
||||
|
||||
, java.lang.Comparable<BVY>=Elem: Node(java.lang.Comparable<BVY>)
|
||||
Prec: [java.lang.Object]
|
||||
Desc: []
|
||||
|
||||
}
|
||||
class While {
|
||||
|
||||
TPH K m(TPH L x)({
|
||||
while((x)::TPH L | 2.0)({
|
||||
(x)::TPH L = (x)::TPH L | 1.0;
|
||||
})::TPH Q;
|
||||
return (x)::TPH L;
|
||||
})::TPH S
|
||||
|
||||
While()({
|
||||
super(());
|
||||
})::TPH V
|
||||
|
||||
}0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Long, 0), (L <. java.lang.Float, 1), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (L <. java.lang.Long, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. java.lang.Number, 1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L =. java.lang.String, 1), (P <. L, 1, 1), (O =. java.lang.String, 0), (P =. java.lang.String, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Float, 0), (P <. java.lang.Float, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (N <. java.lang.Float, 0), (M <. java.lang.Boolean, 0), (O <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Long, 0), (L <. java.lang.Integer, 1), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (L <. java.lang.Long, 1), (N <. java.lang.Integer, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(O <. java.lang.Long, 0), (java.lang.Integer <. K, , -1), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (P <. java.lang.Integer, 1), (java.lang.Integer <. java.lang.Long, ), (N <. java.lang.Integer, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Long, )
|
||||
BasePair; (L <. java.lang.Long, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. java.lang.Number, 1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1), (N <. java.lang.Integer, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (P <. java.lang.Number, 1), (java.lang.Integer <. java.lang.Double, ), (P <. java.lang.Integer, 1), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1), (N <. java.lang.Integer, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Double, )
|
||||
BasePair; (L <. java.lang.Double, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L =. java.lang.String, 1), (P <. L, 1, 1), (O =. java.lang.String, 0), (N <. java.lang.Integer, 0), (P =. java.lang.String, 1)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (java.lang.Integer =. java.lang.String, ), (M =. java.lang.Boolean, 0), (java.lang.String <. java.lang.Integer, ), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (O =. java.lang.String, 0), (P =. java.lang.String, 1), (N <. java.lang.Integer, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer =. java.lang.String, )
|
||||
BasePair; (L =. java.lang.String, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (java.lang.Integer <. java.lang.Byte, ), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Byte, )
|
||||
BasePair; (L <. java.lang.Byte, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Float, 0), (P <. java.lang.Float, 1), (N <. java.lang.Integer, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (java.lang.Integer <. java.lang.Float, ), (O <. java.lang.Float, 0), (P <. java.lang.Integer, 1), (P <. java.lang.Float, 1), (N <. java.lang.Integer, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Float, )
|
||||
BasePair; (L <. java.lang.Float, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
nextSet: [[(K =. java.lang.Object, -1)], [(K =. java.lang.Integer, -1)], [(K =. java.lang.Comparable, -1)], [(K =. java.lang.Number, -1)], [(K =. java.io.Serializable, -1)]]
|
||||
2 AA: []
|
||||
3 Unifikation: [(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
nextSet: [[(P =. java.lang.Integer, 1)], [(P =. ? extends java.lang.Integer, 1)]]
|
||||
3 AA: []
|
||||
4 Unifikation: [(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O <. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
nextSet: [[(O =. java.lang.Integer, 0)], [(O =. ? extends java.lang.Integer, 0)]]
|
||||
4 AA: []
|
||||
5 Unifikation: [(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
nextSet: [[(N =. java.lang.Integer, 0)], [(N =. ? extends java.lang.Integer, 0)]]
|
||||
5 AA: []
|
||||
6 Unifikation: [(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]
|
||||
[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]
|
||||
Result1 [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
Result1 [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
Result1 [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
Result1 [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
Result1 [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
Result1 [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
RES: [[(M =. java.lang.Boolean, 0), (K =. java.lang.Integer, -1), (L =. java.lang.Integer, 1), (O =. java.lang.Integer, 0), (N =. java.lang.Integer, 0), (P =. ? extends java.lang.Integer, 1)]]
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (O <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (O <. java.lang.Short, 0), (java.lang.Integer <. java.lang.Short, ), (P <. java.lang.Integer, 1), (N <. java.lang.Integer, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Short, )
|
||||
BasePair; (L <. java.lang.Short, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Long, 0), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (L <. java.lang.Long, 1)]
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
1 AA: []
|
||||
2 Unifikation: [(O <. java.lang.Long, 0), (? extends java.lang.Long <. L, , 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (L <. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Short, 1)
|
||||
BasePair; null
|
||||
abhSubst: []
|
||||
a: [(P =. ? extends java.lang.Long, 1)]
|
||||
Durchschnitt: []
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: []
|
||||
Number erased Elements (undef): 1
|
||||
Number erased Elements (undef): 1
|
||||
Number of Backtracking: 1
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. java.lang.Number, 1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Short, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (L =. java.lang.String, 1), (P <. L, 1, 1), (O =. java.lang.String, 0), (P =. java.lang.String, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Short, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (O <. java.lang.Float, 0), (P <. java.lang.Float, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (java.lang.Integer <. java.lang.Short, ), (N <. java.lang.Short, 0), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Short, )
|
||||
BasePair; (L <. java.lang.Short, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (O <. java.lang.Short, 0), (N <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Short, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Long, 0), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (L <. java.lang.Long, 1), (N <. java.lang.Long, 0)]
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
1 AA: []
|
||||
2 Unifikation: [(O <. java.lang.Long, 0), (? extends java.lang.Long <. L, , 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1), (N <. java.lang.Long, 0)]
|
||||
2 AA: []
|
||||
3 Unifikation: [(O <. java.lang.Long, 0), (M =. java.lang.Boolean, 0), (L =. java.lang.Long, 1), (java.lang.Long <. K, , -1), (java.lang.Long <. java.lang.Long, ), (P =. ? extends java.lang.Long, 1), (N <. java.lang.Long, 0)]
|
||||
nextSet: [[(K =. java.lang.Long, -1)], [(K =. java.lang.Object, -1)], [(K =. java.lang.Comparable, -1)], [(K =. java.lang.Number, -1)], [(K =. java.io.Serializable, -1)]]
|
||||
3 AA: []
|
||||
4 Unifikation: [(O <. java.lang.Long, 0), (K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1), (N <. java.lang.Long, 0)]
|
||||
nextSet: [[(O =. java.lang.Long, 0)], [(O =. ? extends java.lang.Long, 0)]]
|
||||
4 AA: []
|
||||
5 Unifikation: [(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1), (N <. java.lang.Long, 0)]
|
||||
nextSet: [[(N =. java.lang.Long, 0)], [(N =. ? extends java.lang.Long, 0)]]
|
||||
5 AA: []
|
||||
6 Unifikation: [(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]
|
||||
[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]
|
||||
Result1 [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
Result1 [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
Result1 [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
Result1 [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
Result1 [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
Result1 [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
RES: [[(K =. java.lang.Long, -1), (M =. java.lang.Boolean, 0), (O =. java.lang.Long, 0), (N =. java.lang.Long, 0), (L =. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]]
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. java.lang.Number, 1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1), (N <. java.lang.Long, 0)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
1 AA: []
|
||||
2 Unifikation: [(M =. java.lang.Boolean, 0), (? extends java.lang.Number <. java.lang.Double, ), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (? extends java.lang.Number <. L, , 1), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (P =. ? extends java.lang.Number, 1), (N <. java.lang.Long, 0)]
|
||||
1 UndefinedPairs; (java.lang.Number <. java.lang.Double, )
|
||||
BasePair; (P <. java.lang.Double, 1)
|
||||
1 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
abhSubst: [(P =. ? extends java.lang.Number, 1)]
|
||||
a: [(P =. ? extends java.lang.Number, 1)]
|
||||
Durchschnitt: [(P =. ? extends java.lang.Number, 1)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
Number erased Elements (undef): 0
|
||||
Number erased Elements (undef): 0
|
||||
Number of Backtracking: 1
|
||||
2 AA: []
|
||||
3 Unifikation: [(P =. java.lang.Number, 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (java.lang.Number <. java.lang.Double, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (java.lang.Number <. L, , 1), (N <. java.lang.Long, 0)]
|
||||
2 UndefinedPairs; (java.lang.Number <. java.lang.Double, )
|
||||
BasePair; (P <. java.lang.Double, 1)
|
||||
2 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
abhSubst: [(P =. java.lang.Number, 1)]
|
||||
a: [(P =. java.lang.Number, 1)]
|
||||
Durchschnitt: [(P =. java.lang.Number, 1)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: [[(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
Number erased Elements (undef): 0
|
||||
Number erased Elements (undef): 0
|
||||
Number of Backtracking: 2
|
||||
3 AA: []
|
||||
4 Unifikation: [(M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (? extends java.lang.Integer <. java.lang.Double, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (? extends java.lang.Integer <. L, , 1), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (P =. ? extends java.lang.Integer, 1), (N <. java.lang.Long, 0)]
|
||||
3 UndefinedPairs; (java.lang.Integer <. java.lang.Double, )
|
||||
BasePair; (P <. java.lang.Double, 1)
|
||||
abhSubst: [(P =. ? extends java.lang.Integer, 1)]
|
||||
a: [(P =. ? extends java.lang.Integer, 1)]
|
||||
Durchschnitt: [(P =. ? extends java.lang.Integer, 1)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: [[(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
Number erased Elements (undef): 0
|
||||
Number erased Elements (undef): 0
|
||||
Number of Backtracking: 3
|
||||
4 AA: []
|
||||
5 Unifikation: [(java.lang.Integer <. L, , 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P =. java.lang.Integer, 1), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (java.lang.Integer <. java.lang.Double, ), (N <. java.lang.Long, 0)]
|
||||
4 UndefinedPairs; (java.lang.Integer <. java.lang.Double, )
|
||||
BasePair; (P <. java.lang.Double, 1)
|
||||
abhSubst: [(P =. java.lang.Integer, 1)]
|
||||
a: [(P =. java.lang.Integer, 1)]
|
||||
Durchschnitt: [(P =. java.lang.Integer, 1)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
Number erased Elements (undef): 0
|
||||
Number erased Elements (undef): 0
|
||||
Number of Backtracking: 4
|
||||
5 AA: []
|
||||
6 Unifikation: [(? extends java.lang.Long <. L, , 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (? extends java.lang.Long <. java.lang.Double, ), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (P =. ? extends java.lang.Long, 1), (N <. java.lang.Long, 0)]
|
||||
5 UndefinedPairs; (java.lang.Long <. java.lang.Double, )
|
||||
BasePair; (P <. java.lang.Double, 1)
|
||||
5 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
abhSubst: [(P =. ? extends java.lang.Long, 1)]
|
||||
a: [(P =. ? extends java.lang.Long, 1)]
|
||||
Durchschnitt: [(P =. ? extends java.lang.Long, 1)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: [[(P =. java.lang.Long, 1)]]
|
||||
Number erased Elements (undef): 0
|
||||
Number erased Elements (undef): 0
|
||||
Number of Backtracking: 5
|
||||
6 AA: []
|
||||
7 Unifikation: [(java.lang.Long <. java.lang.Double, ), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P =. java.lang.Long, 1), (java.lang.Long <. L, , 1), (L <. java.lang.Long, 1), (O <. java.lang.Double, 0), (N <. java.lang.Long, 0)]
|
||||
6 UndefinedPairs; (java.lang.Long <. java.lang.Double, )
|
||||
BasePair; (P <. java.lang.Double, 1)
|
||||
6 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
abhSubst: [(P =. java.lang.Long, 1)]
|
||||
a: [(P =. java.lang.Long, 1)]
|
||||
Durchschnitt: [(P =. java.lang.Long, 1)]
|
||||
nextSet: [[(P =. java.lang.Number, 1)], [(P =. java.lang.Integer, 1)], [(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Number, 1)], [(P =. ? extends java.lang.Integer, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: []
|
||||
Number erased Elements (undef): 0
|
||||
Number erased Elements (undef): 0
|
||||
Number of Backtracking: 6
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L =. java.lang.String, 1), (P <. L, 1, 1), (L <. java.lang.Long, 1), (O =. java.lang.String, 0), (N <. java.lang.Long, 0), (P =. java.lang.String, 1)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Long, 1), (java.lang.String <. java.lang.Long, ), (java.lang.Long <. K, , -1), (java.lang.Long =. java.lang.String, ), (O =. java.lang.String, 0), (P =. java.lang.String, 1), (N <. java.lang.Long, 0)]
|
||||
1 UndefinedPairs; (java.lang.String <. java.lang.Long, )
|
||||
BasePair; (P <. java.lang.Long, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (L <. java.lang.Long, 1), (P <. java.lang.Integer, 1), (N <. java.lang.Long, 0)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Float, 0), (L <. java.lang.Long, 1), (P <. java.lang.Float, 1), (N <. java.lang.Long, 0)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Integer, 0), (L <. java.lang.Long, 1), (P <. java.lang.Integer, 1), (N <. java.lang.Long, 0)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1), (java.lang.Integer <. java.lang.Long, ), (N <. java.lang.Long, 0)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Long, )
|
||||
BasePair; (L <. java.lang.Long, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (O <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (L <. java.lang.Long, 1), (P <. java.lang.Integer, 1), (N <. java.lang.Long, 0)]
|
||||
1 UndefinedPairs; (L <. java.lang.Short, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Long, 0), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (L <. K, 1, -1), (P <. L, 1, 1), (L <. java.lang.Long, 1)]
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
1 AA: []
|
||||
2 Unifikation: [(O <. java.lang.Long, 0), (? extends java.lang.Long <. L, , 1), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (N <. java.lang.Byte, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
abhSubst: []
|
||||
a: [(P =. ? extends java.lang.Long, 1)]
|
||||
Durchschnitt: []
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: []
|
||||
Number erased Elements (undef): 1
|
||||
Number erased Elements (undef): 1
|
||||
Number of Backtracking: 1
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (L <. K, 1, -1), (P <. java.lang.Number, 1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (L <. K, 1, -1), (L =. java.lang.String, 1), (P <. L, 1, 1), (O =. java.lang.String, 0), (P =. java.lang.String, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (L <. K, 1, -1), (P <. L, 1, 1), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Float, 0), (P <. java.lang.Float, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (L <. K, 1, -1), (P <. L, 1, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Integer <. java.lang.Byte, ), (N <. java.lang.Byte, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Byte, )
|
||||
BasePair; (L <. java.lang.Byte, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (N <. java.lang.Byte, 0), (O <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Long, 0), (P <. java.lang.Long, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (L <. java.lang.Long, 1)]
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
1 AA: []
|
||||
2 Unifikation: [(O <. java.lang.Long, 0), (? extends java.lang.Long <. L, , 1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L <. K, 1, -1), (L <. java.lang.Double, 1), (N <. java.lang.Double, 0), (L <. java.lang.Long, 1), (P =. ? extends java.lang.Long, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
abhSubst: []
|
||||
a: [(P =. ? extends java.lang.Long, 1)]
|
||||
Durchschnitt: []
|
||||
nextSet: [[(P =. java.lang.Long, 1)], [(P =. ? extends java.lang.Long, 1)]]
|
||||
nextSetasList: []
|
||||
Number erased Elements (undef): 1
|
||||
Number erased Elements (undef): 1
|
||||
Number of Backtracking: 1
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P <. java.lang.Number, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (O <. java.lang.Double, 0), (P <. java.lang.Double, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (L =. java.lang.String, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (O =. java.lang.String, 0), (P =. java.lang.String, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(O <. java.lang.Byte, 0), (M =. java.lang.Boolean, 0), (L <. java.lang.Byte, 1), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Byte, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Float, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (O <. java.lang.Float, 0), (P <. java.lang.Float, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Float, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(L <. java.lang.Integer, 1), (M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (O <. java.lang.Integer, 0), (P <. java.lang.Integer, 1)]
|
||||
1 AA: []
|
||||
2 Unifikation: [(java.lang.Integer <. K, , -1), (M =. java.lang.Boolean, 0), (java.lang.Boolean <. java.lang.Boolean, ), (L =. java.lang.Integer, 1), (N <. java.lang.Double, 0), (O <. java.lang.Integer, 0), (java.lang.Integer <. java.lang.Double, ), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (java.lang.Integer <. java.lang.Double, )
|
||||
BasePair; (L <. java.lang.Double, 1)
|
||||
RES: []
|
||||
0 AA: []
|
||||
1 Unifikation: [(M =. java.lang.Boolean, 0), (M <. java.lang.Boolean, 0), (O <. java.lang.Short, 0), (L <. K, 1, -1), (L <. java.lang.Double, 1), (L <. java.lang.Short, 1), (P <. L, 1, 1), (N <. java.lang.Double, 0), (P <. java.lang.Integer, 1)]
|
||||
1 UndefinedPairs; (L <. java.lang.Double, 1)
|
||||
BasePair; null
|
||||
RES: []
|
||||
Loading…
Reference in New Issue
Block a user