Scala 2
|
|
isabelle/Symbol.scala
]
class
Index(text : java.lang.String)
extends
AnyRefValue Summary | |
val
|
index : scala.Array[Entry] |
Method Summary | |
def
|
decode (sym : Int) : Int |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Class Summary | |
case class
|
Entry
(val chr : Int, val sym : Int) extends scala.Product
|
Value Details |
Method Details |
Scala 2
|
|