Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def add(e: Declaration): Unit
5.  def add(m: Module): Unit
6.  def add(e: NarrativeElement): Unit
7.  def addGlobalConst(nr: Int, kind: String): LocalName
8.  def addGlobalProp(nrO: Option[Int], sName: String): Any
9.  def addLocalConst(nr: Int): LocalName
10.  def addLocalProp(nrO: Option[Int]): LocalName
11.  def addLocusVarBinder(tm: Term): Unit
12.  def addQVarBinder(): Unit
13.  def addRetTerm(path: GlobalName): Unit
14.  def addSourceRef(mmtEl: HasMetaData, mizEl: MizAny): Any
15.  def addVarBinder(n: Option[String]): String
16.  var anonConstNr: Int
17.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

18.  def clear(): Unit
19.  def clearConstContext(): Unit
20.  def clearLocusVarBinder(): Unit
21.  def clearLocusVarContext(): Unit
22.  def clearVarBinder(): Term
23.  def clearVarContext(): Unit
24.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

25.  var constContext: HashMap[Int, Term]
26.  var controller: Controller
27.  var currentAid: String
28.  var currentBase: String
29.  var currentDoc: Document
30.  def currentSource: String
31.  def currentTheory: MPath
32.  def currentThyBase: DPath
33.  var defs: Int
34.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

35.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

36.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

37.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

38.  def getFreeVar(): String
39.  def getLmName(nrO: Option[Int]): String
40.  def getNotation(kind: String, absnr: Int): NotationContainer
41.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

42.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

43.  def localPath: LocalName
44.  var locusVarContext: ArrayStack[Term]
45.  def makeConstant(n: LocalName, tO: Option[Term], dO: Option[Term]): Constant
46.  def makeConstant(n: LocalName, t: Term): Constant
47.  def makeDefConstant(kind: String, absnr: Int, tp: Term, df: Term): Constant
48.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

49.  var notations: Int
50.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

51.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

52.  var propContext: HashMap[Int, Term]
53.  var query: Boolean
54.  var regs: Int
55.  def resolveConst(nr: Int): Term
56.  def resolveLocusVar(nr: Int): Term
57.  def resolveProp(nr: Int): Term
58.  def resolveVar(nr: Int): Term
59.  var schemes: Int
60.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

61.  var theorems: Int
62.  def toString(): String

    Definition Classes

    AnyRef → Any

63.  var varContext: ArrayStack[Term]
64.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

65.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

66.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()