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

cyclic-addarray-noreftype(27,12)cyclic-put-statfield(12,4)junkref-update-equiv(50,23)pathex-lookup-put-other(2,1)pathex-putbyte(14,5)validrefs-addarray(31,12)validrefs-del-junkrefs(70,32)validrefs-nopathex(12,7)validrefs-put-badarrayfield-01(50,21)validrefs-subset(77,39)
cyclic-addarray-other(14,6)cyclic-put-statfield-01(12,4)junkrefs-put-nopathex(50,20)pathex-no-newref(2,1)pathex-putbyte-field(12,5)validrefs-addarray-junkref(34,13)validrefs-delcycle(38,14)validrefs-nopathex-01(2,1)validrefs-put-badclassfield(61,27)validrefs-subset-01(58,23)
cyclic-addarray-this(14,5)cyclic-putbar(9,5)junkrefs-put-nopathex-equiv(46,21)pathex-nopathex-diff(1,0)pathex-putbyte-field-01(1,1)validrefs-addobj(33,11)validrefs-delcycle-01(29,15)validrefs-not(2,1)validrefs-put-badclassfield-01(58,24)validrefs-subset-equiv(77,36)
cyclic-addarray-this-01(34,15)cyclic-putbar-01(2,1)junkrefs-put-nopathexplus-equiv(100,42)pathex-noreftype(17,6)pathex-putbyteval(1,1)validrefs-addobj-01(67,32)validrefs-delete(35,12)validrefs-not-in(29,11)validrefs-put-last(58,24)validrefs-subset-equiv-01(4,2)
cyclic-addobj(62,26)cyclic-putbar-02(3,2)nopathex-update(21,12)pathex-not-is-validref(10,3)pathex-putbyteval-01(9,3)validrefs-addobj-junkref(34,13)validrefs-delete-01(4,2)validrefs-not-in-01(25,9)validrefs-put-notin(53,16)validrefs-subset-notnew(1,1)
cyclic-addobj-other(14,6)cyclic-putbar-03(3,2)okarray-put-nopath(2,1)pathex-not-is-validref-01(6,2)pathex-putshortfield(11,4)validrefs-addobj-new(2,1)validrefs-delete-02(2,1)validrefs-not-typeex(2,1)validrefs-put-notin-01(68,28)validrefs-subtype(24,7)
cyclic-addobj-other-01(15,8)cyclic-putbar-04(9,4)okarray-put-nopath-01(7,3)pathex-not-is-validref-02(4,1)pathex-putshortfield-01(1,1)validrefs-addobj-notin(33,11)validrefs-delete-03(31,10)validrefs-null(0,0)validrefs-put-notin-02(49,21)validrefs-superclass(29,11)
cyclic-addrefarray(36,16)cyclic-putbar-05(11,6)okbar-nopath(12,3)pathex-null(3,1)pathex-putstatfield(22,7)validrefs-all-same(139,50)validrefs-empty(0,0)validrefs-null-01(1,1)validrefs-put-notin-03(116,45)validrefs-superset-junkref(4,2)
cyclic-array(15,7)cyclic-putbyte(5,2)pathex-addobj(21,9)pathex-null-01(1,0)pathex-putstatfield-01(1,1)validrefs-append(37,14)validrefs-has-null(24,7)validrefs-null-02(2,1)validrefs-put-statfield(52,16)validrefs-trans(2,1)
cyclic-class(17,7)cyclic-putbyte-01(10,5)pathex-array(42,20)pathex-one(9,4)pathex-subset(10,4)validrefs-append-01(6,2)validrefs-is-junk(0,0)validrefs-object(1,0)validrefs-putbar(43,14)validrefs-trans-01(54,15)
cyclic-def(0,0)cyclic-subset(15,8)pathex-class(42,21)pathex-plus-def(0,0)pathex-subset-01(2,1)validrefs-applast-array(10,4)validrefs-junkrefs(89,29)validrefs-one(11,7)validrefs-putbar-01(63,22)validrefs-type(34,12)
cyclic-def-object(30,10)cyclic-subset-01(13,6)pathex-def(0,0)pathex-put-array-badindex(18,7)pathex-subset-02(4,2)validrefs-applast-array-null(20,6)validrefs-junkrefs-01(51,18)validrefs-postfix(26,8)validrefs-putbyte(50,19)validrefs-void(3,2)
cyclic-def-shortest(25,12)exvalidrefs(130,61)pathex-def-nodups(24,8)pathex-put-cyclic(52,21)pathex-subset-equiv(15,7)validrefs-applast-class(14,5)validrefs-junkrefs-append(35,10)validrefs-prefix(33,11)validrefs-putbyte-01(49,19)
cyclic-def-simple(45,17)exvalidrefs-03(123,49)pathex-def-simple(15,6)pathex-put-last(14,7)pathex-trans(20,6)validrefs-applast-class-null(10,3)validrefs-lastelem(98,35)validrefs-primarray(42,13)validrefs-putbyte-field(67,27)
cyclic-delete(10,4)exvalidrefs-maxlength(240,110)pathex-junkref(16,5)pathex-put-nopathex(144,64)pathex-validrefs-in(11,6)validrefs-array(0,0)validrefs-levelsubset(30,9)validrefs-primtype(6,3)validrefs-putshort-field(72,28)
cyclic-not-null(4,1)exvalidrefs-nodups(134,53)pathex-junkref-01(2,1)pathex-put-pathex-array-refval(86,34)pathexplus-pathex(46,17)validrefs-bytearray(11,5)validrefs-levelsubset-01(44,17)validrefs-primtype-01(1,1)validrefs-sametype(27,10)
cyclic-one(12,5)junkref-put-nopathex(10,4)pathex-junkref-02(1,0)pathex-putbar(9,5)step-exists-def(0,0)validrefs-bytearray-01(4,3)validrefs-maxlen(36,15)validrefs-primtype-02(1,1)validrefs-sametype-01(2,0)
cyclic-put-badarrayfield(15,9)junkref-put-nopathex-equiv-01(21,9)pathex-levelsubset(8,4)pathex-putbar-01(2,1)validref-nopath-superset(14,5)validrefs-class(0,0)validrefs-newref(25,9)validrefs-primtype-03(1,1)validrefs-sametype-02(2,0)
cyclic-put-badclassfield(22,13)junkref-put-nopathexplus-equiv(18,8)pathex-levelsubset-01(14,5)pathex-putbar-02(3,2)validref-nopathex-put(3,3)validrefs-contains-null(37,13)validrefs-nodups(42,14)validrefs-put-array-badindex(60,19)validrefs-sametype-03(2,0)
cyclic-put-nopathex(30,13)junkref-update(13,5)pathex-levelsubset-equiv(6,4)pathex-putbar-03(16,8)validref-refs-last-valid-subset(122,52)validrefs-del(2,1)validrefs-nodups-01(11,5)validrefs-put-badarrayfield(44,21)validrefs-set-null(60,14)