adding support for umbounded graphs
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 30 Dec 2024 12:43:13 +0000 (12:43 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 30 Dec 2024 12:43:13 +0000 (12:43 +0000)
commitc9f24a1802e0eb8e588d55a6bc84ee2363179753
tree5cbb679595e3ba3ac93b89bd8283e3d97e0e94fd
parent79b49095c1ca91f2f4ec06a03e00ec8d293e8ea2
adding support for umbounded graphs
54 files changed:
README.txt
developer/deprecated/Build.javax [new file with mode: 0644]
developer/documentđź–‰/DirectedGraph_cycle_algorithm.txt [new file with mode: 0644]
developer/documentđź–‰/DirectedGraph_definition.txt [new file with mode: 0644]
developer/documentđź–‰/GraphDirectedAcyclic_1.txt [deleted file]
developer/documentđź–‰/dependency_graph.html [deleted file]
developer/documentđź–‰/graph_print.html [new file with mode: 0644]
developer/example/CountingNumber.class [new file with mode: 0644]
developer/example/CountingNumber.java [new file with mode: 0644]
developer/example/Example_Ariadne_SRM [new file with mode: 0755]
developer/example/Example_Ariadne_SRM.class [new file with mode: 0644]
developer/example/Example_Ariadne_SRM.java [new file with mode: 0644]
developer/javacđź–‰/#Ariadne_Node.xjava# [new file with mode: 0644]
developer/javacđź–‰/Ariadne_DirectedGraph.xjava [new file with mode: 0644]
developer/javacđź–‰/Ariadne_File.java [deleted file]
developer/javacđź–‰/Ariadne_Graph.java
developer/javacđź–‰/Ariadne_GraphDirectedAcyclic.java [deleted file]
developer/javacđź–‰/Ariadne_Label.java
developer/javacđź–‰/Ariadne_LabelList.java [deleted file]
developer/javacđź–‰/Ariadne_LabelList.xjava [new file with mode: 0644]
developer/javacđź–‰/Ariadne_Node.java
developer/javacđź–‰/Ariadne_NodeList.java [deleted file]
developer/javacđź–‰/Ariadne_NodeList.xjava [new file with mode: 0644]
developer/javacđź–‰/Ariadne_Production.java [deleted file]
developer/javacđź–‰/Ariadne_ProductionList.java [deleted file]
developer/javacđź–‰/Ariadne_SRM.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_SRMI.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_Test.java [new file with mode: 0644]
developer/javacđź–‰/Build.javax [deleted file]
developer/javacđź–‰/DirectedGraph.xjava [new file with mode: 0644]
developer/javacđź–‰/File.java [new file with mode: 0644]
developer/javacđź–‰/GraphAriadne.javax [deleted file]
developer/toolđź–‰/make_example [new file with mode: 0755]
documentđź–‰/Ariadne_tool.txt [new file with mode: 0644]
documentđź–‰/project_participants.txt [new file with mode: 0644]
tester/data/File_0/I_exist [new file with mode: 0644]
tester/data/File_0/file_0 [new file with mode: 0644]
tester/data/File_0/file_1 [new file with mode: 0644]
tester/data/File_0/file_2 [new file with mode: 0644]
tester/data/File_0/file_3 [new file with mode: 0644]
tester/data_File_0/I_exist [deleted file]
tester/data_File_0/file_0 [deleted file]
tester/data_File_0/file_1 [deleted file]
tester/data_File_0/file_2 [deleted file]
tester/data_File_0/file_3 [deleted file]
tester/javacđź–‰/File_0.java
tester/javacđź–‰/Graph_0.java
tester/javacđź–‰/LabelList_0.java
tester/javacđź–‰/Label_0.java
tester/javacđź–‰/NodeList_0.java
tester/javacđź–‰/Node_0.java
tester/javacđź–‰/TokenSet_0.java
tester/javacđź–‰/Token_0.java
tester/javacđź–‰/Util_0.java