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

addarray-disjoint-nosharing(83,37)disjoint-newref-01(12,4)disjoint-subset-01(2,1)fits-no-reftype(41,15)fits-put-03(44,16)fits-storekeys-empty(0,0)hasSharing-array-forward(15,7)hasSharing-put-byteval-01(46,23)lookup-statfield(40,18)sharing-pathex-field-self-01(53,24)
addarray-disjoint-nosharing-01(126,61)disjoint-newref-02(12,4)disjoint-symmetric(13,7)fits-no-reftype-01(40,15)fits-put-04(49,20)fits-storekeys-one(8,3)hasSharing-dd-help(125,58)hasSharing-put-index-refval(625,219)nosharing-forward(34,17)sharing-twopaths(32,10)
at-put-prim(36,14)disjoint-nojunk-newref-subset(59,29)ex-fits-validrefs(11,6)fits-no-refval(38,14)fits-put-05(59,26)fits-storekeys-rec(0,0)hasSharing-def(0,0)hasSharing-put-shortval(30,11)nosharing-nocycle(6,2)unchanged-fits(38,21)
disjoint-def(0,0)disjoint-nojunk-newref-subset-01(59,29)ex-fits-validrefs-stronger(82,33)fits-no-refval-01(2,1)fits-put-05-stronger(45,18)fits-subset(46,20)hasSharing-def-better(24,11)hasSharing-put-statfield(35,16)onlymodified-def(0,0)unchanged-lookup-list-generic(58,34)
disjoint-def-fits(36,14)disjoint-nopath-both(8,4)ex-validrefs-fits(12,5)fits-null(4,2)fits-put-other(32,12)fits-subset-01(4,3)hasSharing-different-disjoint(12,4)hasSharing-putbar(31,16)put-switch-primval-field-field(43,20)unchanged-put-nosharing(14,5)
disjoint-def-pathex(26,11)disjoint-nopathex(12,4)ex-validrefs-fits-stronger(54,19)fits-pathex(6,2)fits-put-short(44,16)fits-superset(43,20)hasSharing-dups-array(9,4)hasSharing-rec(14,7)put-switch-primval-field-index(43,20)
disjoint-forward-array(40,16)disjoint-nopathex-same(4,2)fits-append(15,7)fits-pathex-01(2,1)fits-put-short-01(45,18)getbar-onlyModified(8,6)hasSharing-dups-object(11,4)hasSharing-self(3,1)put-switch-primval-index-field(41,19)
disjoint-forward-array-01(2,1)disjoint-one(1,1)fits-fieldinits-empty(0,0)fits-put(64,26)fits-put-short-02(45,18)getbar-onlyModified-all(15,7)hasSharing-list-def(0,0)hasSharing-subset(23,11)put-switch-primval-index-index(52,26)
disjoint-forward-field(40,16)disjoint-pathex-forward(12,6)fits-fieldinits-rec(0,0)fits-put-01(46,17)fits-put-statfield(30,12)hasRefSharing-def(0,0)hasSharing-object-rec(17,7)hassharing-bytearray(9,3)putBar-onlyMod(4,2)
disjoint-forward-field-02(4,1)disjoint-pathex-forward-both(10,5)fits-in(37,16)fits-put-02(45,17)fits-put-stronger(62,25)hasSharing-addarray(4,2)hasSharing-pathex(55,20)hassharing-one(1,1)putbar-classfield-onlymod(36,16)
disjoint-newref(12,4)disjoint-subset(16,6)fits-in-01(2,1)fits-put-02-stronger(32,11)fits-rec(4,1)hasSharing-addobj-same(163,77)hasSharing-put-byteval(42,20)hassharing-validrefs-dups(83,38)sharing-pathex-field-self(54,24)