From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Tue, 7 Jan 2025 11:23:48 +0000 (+0000)
Subject: state -> topo
X-Git-Url: https://git.reasoningtechnology.com/usr/lib/python2.7/encodings/cp850.py?a=commitdiff_plain;h=414c2a6a1f9dea6d00e1cdc0f45ed51c93818b00;p=Ariadne

state -> topo
---

diff --git "a/developer/javac\360\237\226\211/Ariadne_IndexTree_Child_SRM.java" "b/developer/javac\360\237\226\211/Ariadne_IndexTree_Child_SRM.java"
index 03a027a..febd619 100644
--- "a/developer/javac\360\237\226\211/Ariadne_IndexTree_Child_SRM.java"
+++ "b/developer/javac\360\237\226\211/Ariadne_IndexTree_Child_SRM.java"
@@ -21,11 +21,11 @@ public class Ariadne_IndexTree_Child_SRM extends Ariadne_SRMI<BigInteger[]>{
     }
 
     this.label = initial_label;
-    set_topology( state_infinite_right );
+    set_topology( topo_infinite_right );
   }
 
   // Infinite right topology
-  private final TopoIface<BigInteger[]> state_infinite_right = new TopoIface<BigInteger[]>(){
+  private final TopoIface<BigInteger[]> topo_infinite_right = new TopoIface<BigInteger[]>(){
     @Override public boolean can_read(){
       return true;
     }
diff --git "a/developer/javac\360\237\226\211/Ariadne_SRMI_Array.java" "b/developer/javac\360\237\226\211/Ariadne_SRMI_Array.java"
index 8063a15..993d233 100644
--- "a/developer/javac\360\237\226\211/Ariadne_SRMI_Array.java"
+++ "b/developer/javac\360\237\226\211/Ariadne_SRMI_Array.java"
@@ -13,9 +13,9 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
   // Instance data
   private final List<T> array;
 
-  private final TopoIface<T> state_null = new StateNull();
-  private final TopoIface<T> state_segment = new StateSegment();
-  private final TopoIface<T> state_rightmost = new StateRightmost();
+  private final TopoIface<T> topo_null = new TopoNull();
+  private final TopoIface<T> topo_segment = new TopoSegment();
+  private final TopoIface<T> topo_rightmost = new TopoRightmost();
 
   // Constructor
   protected Ariadne_SRMI_Array(List<T> array){
@@ -23,27 +23,27 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
     this.array = array;
 
     if( array == null || array.isEmpty() ){
-      set_topology( state_null );
+      set_topology( topo_null );
       return;
     }
 
     if( array.size() == 1 ){
-      set_topology( state_rightmost );
+      set_topology( topo_rightmost );
       return;
     }
 
-    set_topology( state_segment );
+    set_topology( topo_segment );
   }
 
-  // StateNull
-  private class StateNull implements TopoIface<T>{
+  // TopoNull
+  private class TopoNull implements TopoIface<T>{
     @Override
     public boolean can_read(){
       return false;
     }
     @Override
     public T read(){
-      throw new UnsupportedOperationException( "Cannot read from NULL state." );
+      throw new UnsupportedOperationException( "Cannot read from NULL topo." );
     }
     @Override
     public boolean can_step(){
@@ -51,7 +51,7 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
     }
     @Override
     public void step(){
-      throw new UnsupportedOperationException( "Cannot step from NULL state." );
+      throw new UnsupportedOperationException( "Cannot step from NULL topo." );
     }
     @Override
     public Topology topology(){
@@ -59,8 +59,8 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
     }
   }
 
-  // StateSegment
-  private class StateSegment implements TopoIface<T>{
+  // TopoSegment
+  private class TopoSegment implements TopoIface<T>{
     @Override
     public boolean can_read(){
       return true;
@@ -77,7 +77,7 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
     public void step(){
       Ariadne_SRMI_Array.super.step();
       if( index().compareTo(BigInteger.valueOf(array.size() - 1)) < 0 )
-        set_topology(state_rightmost);
+        set_topology(topo_rightmost);
     }
     @Override
     public Topology topology(){
@@ -85,8 +85,8 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
     }
   }
 
-  // StateRightmost
-  private class StateRightmost implements TopoIface<T>{
+  // TopoRightmost
+  private class TopoRightmost implements TopoIface<T>{
     @Override
     public boolean can_read(){
       return true;
@@ -101,7 +101,7 @@ public class Ariadne_SRMI_Array<T> extends Ariadne_SRMI<T>{
     }
     @Override
     public void step(){
-      throw new UnsupportedOperationException( "Cannot step from RIGHTMOST state." );
+      throw new UnsupportedOperationException( "Cannot step from RIGHTMOST topo." );
     }
     @Override
     public Topology topology(){
diff --git "a/developer/javac\360\237\226\211/Ariadne_SRM_List.java" "b/developer/javac\360\237\226\211/Ariadne_SRM_List.java"
index 78e5206..458f784 100644
--- "a/developer/javac\360\237\226\211/Ariadne_SRM_List.java"
+++ "b/developer/javac\360\237\226\211/Ariadne_SRM_List.java"
@@ -12,31 +12,31 @@ public class Ariadne_SRM_List<T> extends Ariadne_SRM<T>{
   private final List<T> list;
   private int current_index;
 
-  private final TopoIface<T> state_null = new StateNull();
-  private final TopoIface<T> state_segment = new StateSegment();
-  private final TopoIface<T> state_rightmost = new StateRightmost();
+  private final TopoIface<T> topo_null = new TopoNull();
+  private final TopoIface<T> topo_segment = new TopoSegment();
+  private final TopoIface<T> topo_rightmost = new TopoRightmost();
 
   public Ariadne_SRM_List(List<T> list){
 
     if( list == null || list.isEmpty() ){
       this.list = null;
-      set_topology( state_null );
+      set_topology( topo_null );
       return;
     }
 
     this.list = list;
     this.current_index = 0;
-    set_topology( state_segment );
+    set_topology( topo_segment );
   }
 
-  private class StateNull implements TopoIface<T>{
+  private class TopoNull implements TopoIface<T>{
     @Override
     public boolean can_read(){
       return false;
     }
     @Override
     public T read(){
-      throw new UnsupportedOperationException( "Cannot read from NULL state." );
+      throw new UnsupportedOperationException( "Cannot read from NULL topo." );
     }
     @Override
     public boolean can_step(){
@@ -44,7 +44,7 @@ public class Ariadne_SRM_List<T> extends Ariadne_SRM<T>{
     }
     @Override
     public void step(){
-      throw new UnsupportedOperationException( "Cannot step from NULL state." );
+      throw new UnsupportedOperationException( "Cannot step from NULL topo." );
     }
     @Override
     public Topology topology(){
@@ -52,7 +52,7 @@ public class Ariadne_SRM_List<T> extends Ariadne_SRM<T>{
     }
   }
 
-  private class StateSegment implements TopoIface<T>{
+  private class TopoSegment implements TopoIface<T>{
     @Override
     public boolean can_read(){
       return true;
@@ -70,7 +70,7 @@ public class Ariadne_SRM_List<T> extends Ariadne_SRM<T>{
       if( can_step() ){
         current_index++;
       }else{
-        set_topology( state_rightmost );
+        set_topology( topo_rightmost );
       }
     }
     @Override
@@ -79,7 +79,7 @@ public class Ariadne_SRM_List<T> extends Ariadne_SRM<T>{
     }
   }
 
-  private class StateRightmost implements TopoIface<T>{
+  private class TopoRightmost implements TopoIface<T>{
     @Override
     public boolean can_read(){
       return true;
@@ -94,7 +94,7 @@ public class Ariadne_SRM_List<T> extends Ariadne_SRM<T>{
     }
     @Override
     public void step(){
-      throw new UnsupportedOperationException( "Cannot step from RIGHTMOST state." );
+      throw new UnsupportedOperationException( "Cannot step from RIGHTMOST topo." );
     }
     @Override
     public Topology topology(){