commitbye

2 files changed, 11 insertions, 5 deletions

diff --git a/sources/scala/util/automata/DetWordAutom.scala b/sources/scala/util/automata/DetWordAutom.scala
index ae52f0b2b5..a33ab098ef 100644
--- a/sources/scala/util/automata/DetWordAutom.scala
+++ b/sources/scala/util/automata/DetWordAutom.scala
@@ -14,11 +14,13 @@ abstract class DetWordAutom {
   type T_label;
 
   val nstates:  Int;
-  val finals:   PartialFunction[Int,Int] ;
-  val delta:    Function1[Int,Map[T_label,Int]];
-  val default:  PartialFunction[Int,Int] ;
+  val finals:   Array[Int] ;
+  val delta:    Array[Map[T_label,Int]];
+  val default:  Array[Int] ;
 
   override def toString() = {
+    "DetWordAutom"
+    /*
     val sb = new StringBuffer();
     sb.append("[nfa nstates=");
     sb.append(nstates);
@@ -42,5 +44,6 @@ abstract class DetWordAutom {
       }
     }
     sb.toString();
+    */
   }
 }
diff --git a/sources/scala/util/automata/NondetWordAutom.scala b/sources/scala/util/automata/NondetWordAutom.scala
index e3f0704f5c..70c48030d3 100644
--- a/sources/scala/util/automata/NondetWordAutom.scala
+++ b/sources/scala/util/automata/NondetWordAutom.scala
@@ -14,8 +14,8 @@ abstract class NondetWordAutom {
   type T_label;
 
   val nstates:  Int;
-  val finals:   PartialFunction[Int,Int] ;
-  val delta:    Function1[Int,Map[T_label,List[Int]]];
+  val finals:   Array[Int] ;
+  val delta:    Array[Map[T_label,List[Int]]];
   val default:  Array[List[Int]];
 
   /** returns true if the state is final */
@@ -44,6 +44,8 @@ abstract class NondetWordAutom {
   }
 
   override def toString() = {
+    "NondetWordAutom"
+    /*
     val sb = new StringBuffer();
     sb.append("[nfa nstates=");
     sb.append(nstates);
@@ -65,5 +67,6 @@ abstract class NondetWordAutom {
       sb.append('\n');
     }
     sb.toString();
+    */
   }
 }