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

array(1,1)dims-prim-05(1,1)hasclass-no(2,1)isreftype(2,1)le-02(2,1)mkarraydims-02(7,3)reftype-01(2,1)subsups-empty(1,1)subtype-noclasstype(12,6)transitivity(22,6)
array-le(1,1)dims-prim-06(1,1)hasclasstype(2,1)isreftype-01(2,1)le-03(1,1)mkarraydims-array(2,1)reftype-class(2,1)subsups-empty-01(2,1)subtype-norec(22,9)transitivity-01(2,1)
bytearray(2,1)dims-prim-07(1,1)hasct(1,0)isreftype-02(2,1)le-04(2,1)mkarraydims-rec(10,5)subarray1(0,0)subsups-hasct(13,3)subtype-obj(0,0)transitivity-02(1,0)
class+predef(1,1)dims-prim-08(1,1)hasct-01(1,0)isreftype-03(2,1)le-05(2,1)mkarraydims-reftype(2,1)subarray2(0,0)subsups-hasct-01(4,2)subtype-object(4,3)typeex(2,1)
class-le(1,1)dims-prim-09(1,1)hasct-02(1,0)isreftype-04(1,1)le-06(2,1)mkarraydims-ty(2,1)subarray3(0,0)subsups-int(1,1)subtype-object-01(4,3)typeex-01(6,3)
class-le-class(2,0)dims-rec(0,0)hasct-03(1,0)isreftype-05(1,1)le-07(1,1)mkarraytype-zero(1,1)subbasic1(0,0)subsups-other(0,0)subtype-other(0,0)typeex-02(2,0)
class-le-class-01(3,1)dims-succ(1,1)hasct-04(1,0)isreftype-06(2,1)le-08(1,1)mkdims(4,1)subbasic2(0,0)subsups-short(1,1)subtype-predef(11,3)typeex-array(3,2)
classex(2,1)dims-zero(1,1)hasct-05(1,0)isreftype-07(2,1)le-09(1,1)mkdims-void(2,1)subclass(0,0)subsups-void(1,1)subtype-reflexivity(2,1)typeex-class(1,1)
classex-01(2,1)dims-zero-01(1,0)hasct-06(1,0)isreftype-08(2,1)le-10(2,1)mktype-one(1,1)subclass-01(8,3)subtype(23,11)tdname+ex-def(0,0)typeex-def(0,0)
classex-02(2,1)elemtype(1,1)hasct-07(1,0)isreftype-09(2,1)le-11(1,1)mktype_base(0,0)subclass-other(0,0)subtype-01(23,11)tdname+predef(1,1)typeex-hasnoclasstype(2,1)
classex-03(1,0)elemtype-01(1,1)hasct-08(4,2)isreftype-10(2,1)le-12(1,1)mktype_rec(0,0)subclass-other-01(2,0)subtype-02(19,11)tdname+predef-01(1,1)typeex-prim(1,1)
classex-def(0,0)elemtype-02(1,1)hasct-09(2,1)isreftype-11(2,1)le-13(1,1)prim-abstract(2,1)subclass-other-02(2,0)subtype-03(19,11)tdname+predef-02(1,1)typeex-prim-01(1,1)
classex-nointerface(0,0)elemtype-03(1,1)hasct-10(2,1)jtclass(0,0)le-14(2,1)prim-bool(1,1)subclass-pre(0,0)subtype-04(7,4)tdname+predef-03(1,1)typeex-prim-02(1,1)
classex-notpredef(0,0)elemtype-04(1,1)hasct-11(2,1)jtdims-pos(1,0)le-15(2,1)prim-byte(1,1)subclass-pre-01(2,0)subtype-05(7,3)tdnameex(2,1)typeex-prim-03(1,1)
classex-object(0,0)elemtype-05(1,1)interfaceex-noclass(1,0)jtelemtype(6,4)le-16(2,1)prim-char(1,1)subsups(1,1)subtype-06(19,11)tdnameex-01(2,1)typeex-prim-04(1,1)
classex-object-01(6,3)elemtype-06(1,1)interfaceex-notpredef(0,0)jtelemtype-01(2,0)le-17(1,1)prim-classtype(4,4)subsups-01(1,1)subtype-07(19,11)tdnameex-02(2,1)typeex-prim-05(1,1)
dims-base(0,0)elemtype-07(1,1)interfaceex-object(0,0)jtelemtype-02(1,1)le-18(1,1)prim-double(1,1)subsups-02(1,1)subtype-08(8,6)tdnameex-03(2,1)typeex-prim-06(1,1)
dims-pos(4,2)elemtype-08(12,6)is-reftype(0,0)jtelemtype-03(1,1)le-19(1,1)prim-float(1,1)subsups-03(1,1)subtype-09(8,6)tdnameex-04(4,2)typeex-prim-07(1,1)
dims-pos-01(3,2)elemtype-base(0,0)is_abstract-predef(0,0)jtelemtype-04(1,1)le-bigger(2,1)prim-int(1,1)subsups-abstract(1,1)subtype-10(8,6)tdnameex-05(2,1)typeex-prim-08(1,1)
dims-prim(1,1)elemtype-dims(14,6)is_primtype(0,0)jtelemtype-05(1,1)le-hasct(5,1)prim-long(1,1)subsups-arr(0,0)subtype-11(8,6)tdnameex-06(1,0)typele-elemtype(12,3)
dims-prim-01(1,1)elemtype-dims-01(15,6)is_primtype-01(2,1)jtelemtype-06(1,1)le-noreftype(2,1)prim-short(1,1)subsups-bool(1,1)subtype-arr(0,0)tdnameex-07(2,1)typele-elemtype-01(1,0)
dims-prim-02(1,1)elemtype-rec(0,0)is_primtype-02(3,1)jtelemtype-class(2,1)le-noreftype-01(2,1)prim-void(2,1)subsups-byte(1,1)subtype-cla(0,0)tdnameex-08(1,0)typele-object(1,0)
dims-prim-03(1,1)has-classtype(0,0)is_primtype-03(2,1)le(2,1)mkarraydims(1,0)ref(3,2)subsups-cla(0,0)subtype-cla-01(1,0)tdnameex-09(2,1)typex-jtelemtype(4,2)
dims-prim-04(1,1)hasclass-class(1,0)is_subtype-level(0,0)le-01(2,1)mkarraydims-01(7,3)reftype(2,1)subsups-cla-01(2,1)subtype-hasct(14,5)tdnameex-def(0,0)