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.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

6.  def correspondingDecl(dd: DerivedDeclaration, d: LocalName): Option[Constant]

   Fetches the constant internal declaration of given local name in the given derived declaration

   Fetches the constant internal declaration of given local name in the given derived declaration

   dd

   the derived declaration in which to fetch the constant

   d

   the name of the constant to fetch

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

   Definition Classes

   AnyRef

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

   Definition Classes

   AnyRef → Any

9.  def finalize(): Unit

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

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

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

11.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

12.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Definition Classes

    AnyRef

14.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

15.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

16.  def parseInternalDeclarationsWithDefiniens(dd: DerivedDeclaration, con: Controller, ctx: Option[Context], isConstructor: Option[(Constant) ⇒ (Boolean, Option[GlobalName])] = None): List[InternalDeclaration]

    Parse the internal declarations of dd expanding previous definitions

    Parse the internal declarations of dd expanding previous definitions

    dd

    the derived declaration whoose internal declarations to parse

    con

    the controller

    ctx

    (optional) a context to parse the declarations in

    isConstructor

    (optional) computes whether the declaration is a constructor and if so its typelevel Needs to be given for constructors over defined typelevels

17.  def simplify(tm: Term, ctx: Context = Context.empty, expDef: Boolean = false)(implicit env: Option[ExtendedSimplificationEnvironment] = None): Term

    Simplify the given term in the given context (if specified)

    Simplify the given term in the given context (if specified)

    tm

    the term to simplify

    ctx

    (optional) the context in which to simplify the term

    expDef

    (optional) whether to use definition expansions in the simplification process (by default not)

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

    Definition Classes

    AnyRef

19.  def toString(): String

    Definition Classes

    AnyRef → Any

20.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()