[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Theorem base summary for Specification addarray

1dim(1,0)addarray-init(5,3)addbar-newref(1,1)get-add-01(1,1)in-1dim-13(10,4)init-1init-03(1,1)length-1dim-01(1,1)okarray-02(8,2)okreftype-1dim-01(4,2)shift-1init-02(2,1)
1dim-01(2,1)addarray-init-01(3,2)addbar-okarray(2,1)get-add-02(27,13)in-1dim-14(3,2)init-1init-04(1,1)length-1dim-02(2,2)okarray-03(2,1)okreftype-1dim-02(1,1)store-1init(1,0)
add-at(2,0)addarray-init-02(5,3)addbar-okarray-01(12,7)getBar-2-put(8,4)in-1dim-15(8,3)init-1init-05(1,1)length-1init(3,1)okarray-04(11,6)okreftype-init(4,2)stsubset(1,0)
add-at-01(2,0)addarray-is-putarray(13,6)addbar-okarray-02(3,2)getarray-addarray(1,1)in-1dim-16(1,0)init-addarray(3,2)length-1init-01(1,1)okarray-05(10,5)okreftype-init-01(4,2)stsubset-01(1,0)
add-at-02(2,0)addarray-is-putarray-01(3,2)addbar-okarray-03(4,2)getarray-addarray-01(5,3)in-1dim-17(2,1)init-at(2,1)length-init(2,2)okarray-06(10,3)okreftype-init-02(1,1)stsubset-02(1,0)
add-at-03(2,0)addarray-lastrec(9,4)addbar-putrew(4,2)getarray-addarray-02(11,6)in-1dim-fskey(2,1)init-at-01(9,2)lookup-1dim(1,0)okarray-1dim(6,2)oktype-1dim-basic(1,0)stsubset-03(18,7)
add-at-04(2,1)addarray-length-in(1,0)addbar-refs(2,1)getarray-addarray-03(13,6)in-1dim-other(6,2)init-last(7,4)lookup-1dim-01(8,3)okarray-1dim-01(6,2)oktype-1dim-basic-01(1,0)subset-addarray(6,3)
add-at-05(9,3)addarray-mklist(2,1)addbar-refval(2,1)getarray-addarray-04(12,6)in-1dim-other-index(4,2)init-switch(9,5)lookup-1dim-02(1,0)okarray-1dim-02(6,2)oktype-addarray(1,0)subset-addarray-01(11,7)
add-at-gr(11,4)addarray-mklist-01(2,1)addbar-refval-01(20,7)getarray-addarray-05(14,6)in-1dim-other-index-01(11,5)is_array-1dim(1,0)lookup-1dim-03(1,0)okarray-1dim-03(6,2)oktype-init-basic(1,0)subset-putarray-addarray-newref(10,5)
add-at-neg(11,4)addarray-mklist-02(9,5)addbar-type(1,1)getarray-addarray-06(8,4)in-1init(2,1)is_array-1dim-01(6,2)lookup-1dim-04(1,1)okarray-1dim-04(1,1)oktype-init-basic-01(1,0)subset-putarray2-addarray-newref(6,3)
add-at-ok(1,0)addarray-mklist-03(11,6)addbar-type-01(1,1)getarray-addarray-other(2,1)in-1init-01(4,2)is_array-addarray(5,2)lookup-1dim-05(1,0)okarray-1dim-basic(1,0)one-1init(1,0)subset-putarray2-put-addarray-newref(6,3)
add-at-ok-01(2,0)addarray-mklist-04(2,1)addbytearray(0,0)getarray-addarray-other-01(2,1)in-1init-02(2,2)is_array-addarray-01(6,3)lookup-1dim-06(2,1)okarray-1dim-basic-01(6,2)one-1init-01(1,0)subset-putarray2-put-addarray-newref-01(6,3)
add-at-other(6,2)addarray-mklist-05(12,7)addbytearray-ints(0,0)getbar-add(5,2)in-1init-03(2,1)is_array-addarray-any(10,5)lookup-1init(3,2)okarray-abstract(4,2)one-1init-01-01(1,0)subset-putarray2-put-addarray-newref-01-01(6,2)
add-at-other-index(4,2)addarray-mode(14,7)addbytearray-rew(2,1)getbar-add-01(12,5)in-1init-04(3,2)is_array-addarray-byte(2,1)lookup-1init-01(4,1)okarray-addarray(18,10)one-1init-02(1,0)succ-1init(4,1)
add-gft(24,11)addarray-negative(4,2)addobj-addarray-switch(2,1)getbar-add-02(4,2)in-1init-05(2,1)is_array-addarray-prim(10,5)lookup-1init-02(1,0)okarray-addarray-lenput-primtype(12,6)one-init(1,1)switch-addarray-addclass(16,9)
add-in(1,1)addarray-nouninit(5,2)at-1dim(1,0)getbar-add-03(4,2)in-1init-06(1,0)is_array-init(6,2)lookup-init(2,1)okarray-addarray-other(16,4)out-1dim(1,0)switch-addarray-addclass-01(9,4)
add-in-fskey(10,5)addarray-nouninit-01(5,2)at-1dim-01(10,3)getbar-addbar(2,1)in-add(18,8)is_array-init-01(9,3)lookup-init-01(3,1)okarray-copy(19,8)out-1dim-01(2,2)switch-addarray-addobj(4,3)
add-in-other(4,1)addarray-put(2,0)at-1dim-other(8,3)getbar-addbar-01(1,1)in-init(1,0)is_array-other-addarray(4,2)lookup-init-02(1,0)okarray-init(2,1)out-1init(2,2)switch-addarray-addobj-01(16,8)
add-in-other-index(1,0)addarray-put-01(129,52)at-1dim-other-index(7,4)getbar-addbar-02(24,13)in-init-01(2,1)is_obj-addarray(4,2)mode(3,2)okarray-init-01(2,1)out-1init-01(2,2)switch-array(23,11)
add-init(1,0)addarray-rec(0,0)at-1dim-other-index-01(13,5)getbytearray-addarray-this(14,7)in-init-02(4,1)is_obj-addarray-01(3,1)mode-1dim(1,0)okarray-init-02(2,1)putByteArray-vals-addarray(18,10)switch-class(13,7)
add-isobj(9,4)addarray-refs(7,4)at-field-1dim(5,2)getintarray-addarray(4,2)in-init-03(4,1)is_obj-addarray-02(2,1)mode-1dim-01(2,2)okarray-init-03(2,1)putByteArray-vals-addarray-01(82,37)switch-class-01(4,3)
add-lastrec(20,9)addarray-subset(6,2)at-init(4,1)getintarray-addarray-01(3,2)in-init-04(4,1)isarray-1dim(1,1)mode-1init(3,1)okarray-init-04(27,13)putarray-add-butlast(16,9)switch-obj(5,3)
add-okarray(12,5)addarrayinit-base(0,0)at-init-01(1,1)in-1dim(1,0)in-init-05(2,1)isarray-add(2,1)mode-1init-01(2,2)okarray-init-05(1,1)putarray-add-same(28,13)switch-obj-01(5,3)
add-put-switch(9,4)addarrayinit-def(0,0)at-init-02(1,1)in-1dim-01(1,0)in-init-06(4,2)isarray-addarray(12,6)move-initvals(23,11)okarray-init-07(19,10)putarray-add-same-01(4,3)type-1dim(1,0)
add-refs(7,4)addarrayinit-rec(0,0)at-statfield(4,2)in-1dim-02(8,3)in-init-08(4,1)isarray-addarray-01(16,4)move-initvals-01(1,1)okarray-init-basic(6,2)putarray-add-same-02(15,7)type-1dim-01(1,1)
addarray-addaray(32,13)addbar-addobj-switch(5,3)at-statfield-01(1,0)in-1dim-03(1,0)in-init-09(3,2)isarray-addarray-02(2,1)move-initvals-02(3,2)okarray-init-basic-01(10,3)putarray-addarray(20,10)type-1init(1,1)
addarray-at-newref(2,1)addbar-addobj-switch-01(4,3)atinit(1,0)in-1dim-04(3,1)init-1dim(1,0)isarray-addarray-other(10,3)move-initvals-03(1,1)okarray-putarray-addarray-put(34,16)putarray-addarray-01(139,57)type-1init-01(3,1)
addarray-at-other(3,1)addbar-get(2,1)atint20-1dim(1,0)in-1dim-05(1,0)init-1dim-01(1,0)isarray-init-01(4,2)newref-1dim(14,4)okbar-addarray(2,1)putarray-addarray-one(47,22)type-in(1,0)
addarray-base(0,0)addbar-in(2,1)atint21-1dim(1,0)in-1dim-06(6,4)init-1dim-02(1,0)isarray-init-02(4,2)newref-1dim-01(7,3)okbytearray-addarray(1,1)putarray-addarray-override(137,67)union-addarray-rew(44,21)
addarray-both-subset(14,7)addbar-in-01(1,1)atone-1dim(1,0)in-1dim-07(9,4)init-1dim-03(1,1)isobj-addarray(18,6)newref-1dim-02(1,0)okbytearray-addarray-01(4,2)putbytearray-addarray-override(15,6)validref-addarray(4,2)
addarray-both-subset-01(1,0)addbar-init(1,1)class-1dim(4,2)in-1dim-08(1,1)init-1dim-04(5,3)isobj-addarray-01(2,1)newref-1init(4,2)okbytearray-addarray-02(2,1)shift-1dim(7,4)zero-1init(1,0)
addarray-def(0,0)addbar-init-01(1,1)class-init(4,2)in-1dim-09(6,4)init-1dim-05(3,2)isobj-addarray-other(10,3)newref-1init-01(2,2)okbytearray-this(3,2)shift-1dim-01(10,4)zero-1init-02(1,0)
addarray-getintarray-other(7,4)addbar-length(1,1)endfinallymode(1,1)in-1dim-10(4,2)init-1init(3,2)isobj-addarray-other-01(9,4)num-at-1dim(2,0)okclass-1dim(6,3)shift-1dim-02(2,1)zero-1init-05(1,0)
addarray-getintarray-other-01(4,2)addbar-length-01(1,1)endfinallymode-01(1,1)in-1dim-11(2,1)init-1init-01(3,2)isobj-addbar(2,1)okarray(2,1)okclass-init(6,3)shift-1init(7,4)
addarray-identity(32,13)addbar-mode(1,1)get-add(5,5)in-1dim-12(4,2)init-1init-02(3,2)length-1dim(1,0)okarray-01(8,2)okreftype-1dim(4,2)shift-1init-01(6,3)