SRM state model fixes
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Wed, 8 Jan 2025 06:59:28 +0000 (06:59 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Wed, 8 Jan 2025 06:59:28 +0000 (06:59 +0000)
commit5d5116aaa74b88c739e7e1916aa9b2aa7f46fa14
treed2299d9160e1bbec23a5b377c772b7f1b638291a
parent414c2a6a1f9dea6d00e1cdc0f45ed51c93818b00
SRM state model fixes
28 files changed:
developer/example/CountingNumber$ASRM_Infinite.class [new file with mode: 0644]
developer/example/CountingNumber$ASRM_Null.class [new file with mode: 0644]
developer/example/CountingNumber$ASRM_Rightmost.class [new file with mode: 0644]
developer/example/CountingNumber$ASRM_Segment.class [new file with mode: 0644]
developer/example/CountingNumber.class [new file with mode: 0644]
developer/example/Example_CountingNumber_0 [new file with mode: 0755]
developer/example/Example_CountingNumber_0.class [new file with mode: 0644]
developer/example/Example_CountingNumber_0.java
developer/example/Example_IndexTree_4x4 [new file with mode: 0755]
developer/example/Example_IndexTree_4x4.class [new file with mode: 0644]
developer/example/Example_IndexTree_4x4.java
developer/example/Example_IndexTree_Diagonal_SRM [new file with mode: 0755]
developer/example/Example_IndexTree_Diagonal_SRM.class [new file with mode: 0644]
developer/example/Example_SRMI_Array [new file with mode: 0755]
developer/example/Example_SRMI_Array.class [new file with mode: 0644]
developer/example/Example_SRMI_Array.java
developer/example/Example_SRM_List [new file with mode: 0755]
developer/example/Example_SRM_List.class [new file with mode: 0644]
developer/example/Example_SRM_List.java
developer/example/IndexTree_Diagonal_SRM.class [new file with mode: 0644]
developer/example/IndexTree_Diagonal_SRM.java
developer/javac🖉/Ariadne_IndexTree_Child_SRM.java
developer/javac🖉/Ariadne_SRMI.java
developer/javac🖉/Ariadne_SRMI_Array.java
developer/javac🖉/Ariadne_SRM_List.java
developer/tool🖉/clean
developer/tool🖉/clean_example [new file with mode: 0755]
developer/tool🖉/make_example