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 apply(se: StructuralElement): State
5.  def apply(vw: View): State
6.  def apply(dt: Theory): State

   Applies to Theory

   Applies to Theory

   Searches a Theory for its used theories, adds them to state

   dt

   This is the Theory to be searched

   returns

   This is a Set of used theories (as MPaths)

7.  def apply(decl: Declaration, state: State): Unit

   Applies to Declaration

   Applies to Declaration

   Searches a Declaration for its used theories, adds them to state

   decl

   This is the Declaration to be searched

   state

   This is the traverser's state

8.  def apply(t: Term, state: State): Term
9.  def apply(t: Term, init: State, con: Context = Context()): Term

   the main method to call the traverser, context defaults to empty

   the main method to call the traverser, context defaults to empty

   Definition Classes

   Traverser

10.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

11.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

12.  def compose(that: Traverser[HashSet[MPath]]): Traverser[HashSet[MPath]]

    diagrammatic composition (first this, then that)

    diagrammatic composition (first this, then that)

    Definition Classes

    Traverser

13.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef → Any

15.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

17.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

20.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

21.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

22.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

23.  def toString(): String

    Definition Classes

    AnyRef → Any

24.  def toTranslator(newInit: () ⇒ HashSet[MPath]): UniformTranslator

    this traverser as a translator

    this traverser as a translator

    newInit

    creates a fresh initial state

    Definition Classes

    Traverser

25.  def traverse(t: Term)(implicit con: Context, state: State): Term

    Traverses terms

    Traverses terms

    Traverses over terms, finding any used theories

    t

    This is the current subterm

    con

    This is the current context

    state

    This is the traverser's state

    Definition Classes

    FindUsedTheories → Traverser

26.  def traverseContext(cont: Context)(implicit con: Context, state: State): Context

    Definition Classes

    Traverser

27.  def traverseObject(obj: Obj)(implicit con: Context, state: State): ThisType

    traverses any object by mapping all the terms in it

    traverses any object by mapping all the terms in it

    Definition Classes

    Traverser

28.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()