isabelle.Symbol

class Index

[source: isabelle/Symbol.scala]

class Index(text : java.lang.String)
extends AnyRef
Decoding offsets
Value 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
val index : scala.Array[Entry]

Method Details
def decode(sym : Int) : Int