[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 multiarrays

addarraymult(0,0)addarrays-fieldat(14,5)addarrays-subset(13,6)countdims-one(1,0)countrefs-base(0,0)countrefs-le-01(2,1)countrefs2-01(2,1)countrefs_one(0,0)getdims-zero-04(1,1)multi-isarrayref-notin(15,7)
addarraymultlist_more_0(0,0)addarrays-fieldin(14,5)addarrays-type(17,5)countdims-one-01(1,1)countrefs-empty(1,1)countrefs-le-02(4,2)countrefs2-02(2,1)endfinallymode(15,7)getdims-zeroin(5,3)multi-length-first(29,10)
addarraymultlist_more_1(0,0)addarrays-initdone(16,10)addarrays-type-01(4,2)countdims-one-02(2,0)countrefs-getdims(8,5)countrefs-le-03(2,1)countrefs2-03(3,2)endfinallymode-01(2,2)getdims-zeroin-01(2,1)multi-lengthin(46,15)
addarraymultlist_more_2(0,0)addarrays-jvmref(2,1)addarrays-typein(2,1)countdims-one-03(2,1)countrefs-getdims-01(9,5)countrefs-ls(12,5)countrefs2-empty(1,1)getcountdims(5,2)intssize-empty(0,0)multi-mode(29,12)
addarraymultlist_one_0(0,0)addarrays-length(12,4)addarrays-typein-01(12,4)countdims-rec(0,0)countrefs-i2n(6,3)countrefs-not-zero(9,5)countrefs2-not-mone(2,1)getdims-empty(0,0)intssize-rec(0,0)multi-mode-01(1,0)
addarraymultlist_one_not_0(0,0)addarrays-length-01(6,2)addarrays-typein-02(1,1)countdims-zero(0,0)countrefs-i2n-01(4,2)countrefs-not-zero-01(8,4)countrefs2-one(1,0)getdims-empty-01(4,2)multg-at-ref(45,18)multi-newref(7,3)
addarraymultlist_zero(0,0)addarrays-mode(15,7)addmultiarrays-base(0,0)countdims-zero-01(1,0)countrefs-i2n-02(2,1)countrefs-one(1,1)countrefs2-one-01(1,1)getdims-posints(4,2)multi-at-other(43,9)multi-newrefs(15,6)
addarrays-at-other(18,8)addarrays-mode-01(2,2)addmultiarrays-base-01(1,1)countdims-zero-02(1,1)countrefs-inrefs(2,1)countrefs-rec(0,0)countrefs2-pos(10,5)getdims-posints-01(4,2)multi-field(30,8)multi-refin(25,7)
addarrays-at-other-01(22,10)addarrays-one(4,2)addmultiarrays-done(0,0)countdims-zero-03(5,2)countrefs-lastn(5,3)countrefs-rec-01(2,1)countrefs2-pos-01(1,0)getdims-rec(0,0)multi-fieldin(29,8)multi-refin-other(13,6)
addarrays-auto-22(30,12)addarrays-one-01(2,1)addmultiarrays-rec(0,0)countdims-zero-04(5,3)countrefs-lastn-01(4,2)countrefs-rec-02(6,3)countrefs2-two(1,1)getdims-zero(0,0)multi-first-type-in(1,1)multi-subset(14,5)
addarrays-case(6,2)addarrays-out(12,5)addmultidim_empty(1,1)countmore2(2,1)countrefs-lastn-02(4,2)countrefs-zero(3,2)countrefs2-zero(1,1)getdims-zero-01(1,0)multi-in-other(35,10)multi-type-first(29,10)
addarrays-def(0,0)addarrays-refin(12,4)countdims-empty(0,0)countrefs-abs(1,0)countrefs-lastn-03(2,1)countrefs-zero-01(0,0)countrefs_more_gr0(0,0)getdims-zero-02(1,1)multi-isarrayref(45,17)multi-typein(40,13)
addarrays-empty(0,0)addarrays-refin-01(12,4)countdims-notneg(6,3)countrefs-auto(1,1)countrefs-le(10,5)countrefs2(2,1)countrefs_more_le0(0,0)getdims-zero-03(1,0)multi-isarrayref-01(15,6)nouninit-addarrays(37,20)