From: Thomas Walker Lynch Date: Mon, 13 Jan 2025 04:50:06 +0000 (+0000) Subject: mv to CLI suffixes command line interface, CountingNumber, IndexTree, SRTM examples... X-Git-Url: https://git.reasoningtechnology.com/usr/lib/python2.7/encodings/cp1254.py?a=commitdiff_plain;h=ef6ded8e2f9ea9815539516f43e8d27f1736ef5a;p=Ariadne mv to CLI suffixes command line interface, CountingNumber, IndexTree, SRTM examples running --- diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Infinite.class b/developer/example/CountingNumber/CountingNumber$Topo_Infinite.class deleted file mode 100644 index 24f713f..0000000 Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Infinite.class and /dev/null differ diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Null.class b/developer/example/CountingNumber/CountingNumber$Topo_Null.class deleted file mode 100644 index 4c8d074..0000000 Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Null.class and /dev/null differ diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class b/developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class deleted file mode 100644 index 3003cb0..0000000 Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class and /dev/null differ diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Segment.class b/developer/example/CountingNumber/CountingNumber$Topo_Segment.class deleted file mode 100644 index 09894f9..0000000 Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Segment.class and /dev/null differ diff --git a/developer/example/CountingNumber/CountingNumber.class b/developer/example/CountingNumber/CountingNumber.class deleted file mode 100644 index 41ce6dc..0000000 Binary files a/developer/example/CountingNumber/CountingNumber.class and /dev/null differ diff --git a/developer/example/CountingNumber/CountingNumber_0_CLI.java b/developer/example/CountingNumber/CountingNumber_0_CLI.java new file mode 100644 index 0000000..7be86a8 --- /dev/null +++ b/developer/example/CountingNumber/CountingNumber_0_CLI.java @@ -0,0 +1,37 @@ +import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; +import java.math.BigInteger; + +public class CountingNumber_0_CLI{ + + protected static void print_ten(CountingNumber n){ + System.out.println("Iterating through Counting Numbers:"); + + if( !n.can_read() ) return; + + if( n.topology() == Ariadne_SRTM.Topology.SEGMENT ){ + do{ + System.out.println("Current Number: " + n.read()); + if( !n.can_step() ) break; + n.step(); + }while( true ); + + }else if( n.topology() == Ariadne_SRTM.Topology.INFINITE ){ + int count = 0; + do{ + System.out.println("Current Number: " + n.read()); + if( count == 9 ) break; + n.step(); + count++; + }while( true ); + + }else{ + System.out.println("Unrecognized or invalid tape state."); + } + } + + public static void main(String[] args){ + print_ten( CountingNumber.make(BigInteger.TEN) ); // Finite segment up to 10 + print_ten( CountingNumber.make() ); // Infinite tape, stopping after 10 steps + } + +} diff --git a/developer/example/CountingNumber/CountingNumber_0_transcript.txt b/developer/example/CountingNumber/CountingNumber_0_transcript.txt new file mode 100644 index 0000000..6e6563d --- /dev/null +++ b/developer/example/CountingNumber/CountingNumber_0_transcript.txt @@ -0,0 +1,22 @@ +Iterating through Counting Numbers: +Current Number: 1 +Current Number: 2 +Current Number: 3 +Current Number: 4 +Current Number: 5 +Current Number: 6 +Current Number: 7 +Current Number: 8 +Current Number: 9 +Current Number: 10 +Iterating through Counting Numbers: +Current Number: 1 +Current Number: 2 +Current Number: 3 +Current Number: 4 +Current Number: 5 +Current Number: 6 +Current Number: 7 +Current Number: 8 +Current Number: 9 +Current Number: 10 diff --git a/developer/example/CountingNumber/Example_CountingNumber_0 b/developer/example/CountingNumber/Example_CountingNumber_0 deleted file mode 100755 index 03434e8..0000000 --- a/developer/example/CountingNumber/Example_CountingNumber_0 +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -java Example_CountingNumber_0 diff --git a/developer/example/CountingNumber/Example_CountingNumber_0.class b/developer/example/CountingNumber/Example_CountingNumber_0.class deleted file mode 100644 index 8ee76ad..0000000 Binary files a/developer/example/CountingNumber/Example_CountingNumber_0.class and /dev/null differ diff --git a/developer/example/CountingNumber/Example_CountingNumber_0.java b/developer/example/CountingNumber/Example_CountingNumber_0.java deleted file mode 100644 index 9d340b4..0000000 --- a/developer/example/CountingNumber/Example_CountingNumber_0.java +++ /dev/null @@ -1,37 +0,0 @@ -import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; -import java.math.BigInteger; - -public class Example_CountingNumber_0{ - - protected static void print_ten(CountingNumber n){ - System.out.println("Iterating through Counting Numbers:"); - - if( !n.can_read() ) return; - - if( n.topology() == Ariadne_SRTM.Topology.SEGMENT ){ - do{ - System.out.println("Current Number: " + n.read()); - if( !n.can_step() ) break; - n.step(); - }while( true ); - - }else if( n.topology() == Ariadne_SRTM.Topology.INFINITE ){ - int count = 0; - do{ - System.out.println("Current Number: " + n.read()); - if( count == 9 ) break; - n.step(); - count++; - }while( true ); - - }else{ - System.out.println("Unrecognized or invalid tape state."); - } - } - - public static void main(String[] args){ - print_ten( CountingNumber.make(BigInteger.TEN) ); // Finite segment up to 10 - print_ten( CountingNumber.make() ); // Infinite tape, stopping after 10 steps - } - -} diff --git a/developer/example/IndexTree/Example_4x4.java b/developer/example/IndexTree/Example_4x4.java deleted file mode 100644 index f484ae0..0000000 --- a/developer/example/IndexTree/Example_4x4.java +++ /dev/null @@ -1,41 +0,0 @@ -import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; -import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List; - -public class Example_4x4{ - - public static void main(String[] args){ - - System.out.println("Example_4x4"); - - // Initialize graph and start at root - Graph graph = Graph.make(); - SRTM_Child start = graph.start(); - Label label = start.read(); - Node node; - SRTM_Child child_srm; - - System.out.println("starting at: " + start.read()); - - // Descend 3 more levels - int i = 1; - do{ - node = graph.lookup(label); - child_srm = node.neighbor(); - label = child_srm.read(); - System.out.println("Descended to: " + label.toString()); - if(i == 3) break; - i++; - }while(true); - - // Move across three more nodes - i = 1; - do{ - child_srm.step(); - label = child_srm.read(); - System.out.println("Across to: " + label.toString()); - if(i == 3) break; - i++; - }while(true); - - } -} diff --git a/developer/example/IndexTree/Example_SRTM_Diagonal.java b/developer/example/IndexTree/Example_SRTM_Diagonal.java deleted file mode 100644 index 9b69fee..0000000 --- a/developer/example/IndexTree/Example_SRTM_Diagonal.java +++ /dev/null @@ -1,23 +0,0 @@ -import java.util.List; - -public class Example_SRTM_Diagonal{ - - public static void main(String[] args){ - System.out.println("Starting IndexTree SRTM Example"); - - // Instantiate the IndexTree Diagonal SRTM - SRTM_Diagonal srtm = SRTM_Diagonal.make(); - int step_count = 0; - if( srtm.can_read() ){ - do{ - System.out.println(step_count ": " + diagonal); - if( !srtm.can_step() ) break; - if( step_count == 4 ) break; // Stop after 5 diagonals - step_count++; - srtm.step(); - }while(true); - } - } - -} - diff --git a/developer/example/IndexTree/SRTM_Diagonal_CLI.java b/developer/example/IndexTree/SRTM_Diagonal_CLI.java new file mode 100644 index 0000000..c3f1e37 --- /dev/null +++ b/developer/example/IndexTree/SRTM_Diagonal_CLI.java @@ -0,0 +1,23 @@ +import java.util.List; + +public class SRTM_Diagonal_CLI{ + + public static void main(String[] args){ + System.out.println("Starting IndexTree SRTM Example"); + + // Instantiate the IndexTree Diagonal SRTM + SRTM_Diagonal srtm = SRTM_Diagonal.make(); + int step_count = 0; + if( srtm.can_read() ){ + do{ + System.out.println(step_count + ": " + srtm.read()); + if( !srtm.can_step() ) break; + if( step_count == 4 ) break; // Stop after 5 diagonals + step_count++; + srtm.step(); + }while(true); + } + } + +} + diff --git a/developer/example/IndexTree/four_down_four_across_CLI.java b/developer/example/IndexTree/four_down_four_across_CLI.java new file mode 100644 index 0000000..f57d14e --- /dev/null +++ b/developer/example/IndexTree/four_down_four_across_CLI.java @@ -0,0 +1,41 @@ +import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; +import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List; + +public class four_down_four_across_CLI{ + + public static void main(String[] args){ + + System.out.println("Example_4x4"); + + // Initialize graph and start at root + Graph graph = Graph.make(); + SRTM_Child start = graph.start(); + Label label = start.read(); + Node node; + SRTM_Child child_srm; + + System.out.println("starting at: " + start.read()); + + // Descend 3 more levels + int i = 1; + do{ + node = graph.lookup(label); + child_srm = node.neighbor(); + label = child_srm.read(); + System.out.println("Descended to: " + label.toString()); + if(i == 3) break; + i++; + }while(true); + + // Move across three more nodes + i = 1; + do{ + child_srm.step(); + label = child_srm.read(); + System.out.println("Across to: " + label.toString()); + if(i == 3) break; + i++; + }while(true); + + } +} diff --git a/developer/example/SRTM/Example_SRTMI_Array b/developer/example/SRTM/Example_SRTMI_Array deleted file mode 100755 index e3d7c56..0000000 --- a/developer/example/SRTM/Example_SRTMI_Array +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -java Example_SRTMI_Array diff --git a/developer/example/SRTM/Example_SRTMI_Array.class b/developer/example/SRTM/Example_SRTMI_Array.class deleted file mode 100644 index 22438d9..0000000 Binary files a/developer/example/SRTM/Example_SRTMI_Array.class and /dev/null differ diff --git a/developer/example/SRTM/Example_SRTMI_Array.java b/developer/example/SRTM/Example_SRTMI_Array.java deleted file mode 100644 index d6735eb..0000000 --- a/developer/example/SRTM/Example_SRTMI_Array.java +++ /dev/null @@ -1,23 +0,0 @@ -import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; -import com.ReasoningTechnology.Ariadne.Ariadne_SRTMI_Array; - -import java.util.Arrays; -import java.util.List; - -public class Example_SRTMI_Array { - public static void main( String[] args ){ - // Create an Array - List label_array = Arrays.asList( "A", "B", "C", "D" ); - - // Attach SRTMI to the array - Ariadne_SRTMI_Array srm = Ariadne_SRTMI_Array.make( label_array ); - if( srm.can_read() ){ - do{ - System.out.println( "Reading: " + srm.read() ); - System.out.println( "Topology: " + srm.topology() ); - if( !srm.can_step() ) break; - srm.step(); - }while(true); - } - } -} diff --git a/developer/example/SRTM/Example_SRTM_List b/developer/example/SRTM/Example_SRTM_List deleted file mode 100755 index 2f1dd2a..0000000 --- a/developer/example/SRTM/Example_SRTM_List +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -java Example_SRTM_List diff --git a/developer/example/SRTM/Example_SRTM_List.class b/developer/example/SRTM/Example_SRTM_List.class deleted file mode 100644 index 44bf679..0000000 Binary files a/developer/example/SRTM/Example_SRTM_List.class and /dev/null differ diff --git a/developer/example/SRTM/Example_SRTM_List.java b/developer/example/SRTM/Example_SRTM_List.java deleted file mode 100644 index 489e5fe..0000000 --- a/developer/example/SRTM/Example_SRTM_List.java +++ /dev/null @@ -1,25 +0,0 @@ -import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; -import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List; - -import java.util.LinkedList; - -public class Example_SRTM_List { - public static void main( String[] args ){ - // Create a linked list - LinkedList label_list = new LinkedList<>(); - label_list.add( "A" ); - label_list.add( "B" ); - label_list.add( "C" ); - - // Attach SRTM to the linked list and traverse - Ariadne_SRTM_List srm = Ariadne_SRTM_List.make(label_list); - if( srm.can_read() ){ - do{ - System.out.println( "Reading: " + srm.read() ); - System.out.println( "Topology: " + srm.topology() ); - if( !srm.can_step() ) break; - srm.step(); - }while(true); - } - } -} diff --git a/developer/example/SRTM/SRTMI_Array_CLI.java b/developer/example/SRTM/SRTMI_Array_CLI.java new file mode 100644 index 0000000..f2b6d36 --- /dev/null +++ b/developer/example/SRTM/SRTMI_Array_CLI.java @@ -0,0 +1,23 @@ +import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; +import com.ReasoningTechnology.Ariadne.Ariadne_SRTMI_Array; + +import java.util.Arrays; +import java.util.List; + +public class SRTMI_Array_CLI { + public static void main( String[] args ){ + // Create an Array + List label_array = Arrays.asList( "A", "B", "C", "D" ); + + // Attach SRTMI to the array + Ariadne_SRTMI_Array srm = Ariadne_SRTMI_Array.make( label_array ); + if( srm.can_read() ){ + do{ + System.out.println( "Reading: " + srm.read() ); + System.out.println( "Topology: " + srm.topology() ); + if( !srm.can_step() ) break; + srm.step(); + }while(true); + } + } +} diff --git a/developer/example/SRTM/SRTMI_Array_transcript.txt b/developer/example/SRTM/SRTMI_Array_transcript.txt new file mode 100644 index 0000000..4a1e3c1 --- /dev/null +++ b/developer/example/SRTM/SRTMI_Array_transcript.txt @@ -0,0 +1,8 @@ +Reading: A +Topology: SEGMENT +Reading: B +Topology: SEGMENT +Reading: C +Topology: SEGMENT +Reading: D +Topology: RIGHTMOST diff --git a/developer/example/SRTM/SRTM_List_CLI.java b/developer/example/SRTM/SRTM_List_CLI.java new file mode 100644 index 0000000..b91aca4 --- /dev/null +++ b/developer/example/SRTM/SRTM_List_CLI.java @@ -0,0 +1,25 @@ +import com.ReasoningTechnology.Ariadne.Ariadne_SRTM; +import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List; + +import java.util.LinkedList; + +public class SRTM_List_CLI { + public static void main( String[] args ){ + // Create a linked list + LinkedList label_list = new LinkedList<>(); + label_list.add( "A" ); + label_list.add( "B" ); + label_list.add( "C" ); + + // Attach SRTM to the linked list and traverse + Ariadne_SRTM_List srm = Ariadne_SRTM_List.make(label_list); + if( srm.can_read() ){ + do{ + System.out.println( "Reading: " + srm.read() ); + System.out.println( "Topology: " + srm.topology() ); + if( !srm.can_step() ) break; + srm.step(); + }while(true); + } + } +} diff --git a/developer/example/SRTM/SRTM_List_transcript.txt b/developer/example/SRTM/SRTM_List_transcript.txt new file mode 100644 index 0000000..43b78f7 --- /dev/null +++ b/developer/example/SRTM/SRTM_List_transcript.txt @@ -0,0 +1,6 @@ +Reading: A +Topology: SEGMENT +Reading: B +Topology: SEGMENT +Reading: C +Topology: RIGHTMOST diff --git "a/developer/tool\360\237\226\211/clean_example" "b/developer/tool\360\237\226\211/clean_example" index 59496e3..3122f1b 100755 --- "a/developer/tool\360\237\226\211/clean_example" +++ "b/developer/tool\360\237\226\211/clean_example" @@ -20,7 +20,7 @@ cd "example/$1" || exit 1 # remove wrappers and class files - for file in Example_*.class; do + for file in *_CLI.class; do echo "file: " $file wrapper_name=$(basename "$file" .class) rm_na "$wrapper_name" diff --git "a/developer/tool\360\237\226\211/make_example" "b/developer/tool\360\237\226\211/make_example" index c8b8c04..f0f8cd5 100755 --- "a/developer/tool\360\237\226\211/make_example" +++ "b/developer/tool\360\237\226\211/make_example" @@ -25,7 +25,7 @@ echo "Compiling example .java files..." echo "Creating bash wrappers..." - for file in Example_*.class; do + for file in *_CLI.class; do echo "file: " $file wrapper_name=$(basename "$file" .class) cat > "$wrapper_name" << EOL