diff options
author | buraq <buraq@epfl.ch> | 2004-11-16 15:55:44 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2004-11-16 15:55:44 +0000 |
commit | bfa877d7e477ac5f33c1fd28675f9c07e2358589 (patch) | |
tree | ef52d63c6a9092184bd8215d9fef6dff6f44ae4f /sources | |
parent | 251d24e2443ff740451896a3b41f00fc14b0ee69 (diff) | |
download | scala-bfa877d7e477ac5f33c1fd28675f9c07e2358589.tar.gz scala-bfa877d7e477ac5f33c1fd28675f9c07e2358589.tar.bz2 scala-bfa877d7e477ac5f33c1fd28675f9c07e2358589.zip |
commitbye
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/util/automata/DetWordAutom.scala | 9 | ||||
-rw-r--r-- | sources/scala/util/automata/NondetWordAutom.scala | 7 |
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(); + */ } } |