Packages

c

info.kwarc.mmt.pvs.syntax

theory_name

case class theory_name(place: String, id: String, library_id: String, mappings: List[mapping], target: Option[theory_name], actuals: List[Object], dactuals: List[Object]) extends TheoryExpr with Product with Serializable

user-provided reference to a module

id

theory name

library_id

library (in particular, as declared by lib_decl)

mappings

instantiations/renaming for

Source
Objects.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, TheoryExpr, Object, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. theory_name
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. TheoryExpr
  7. Object
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new theory_name(place: String, id: String, library_id: String, mappings: List[mapping], target: Option[theory_name], actuals: List[Object], dactuals: List[Object])

    id

    theory name

    library_id

    library (in particular, as declared by lib_decl)

    mappings

    instantiations/renaming for

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. val actuals: List[Object]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  7. val dactuals: List[Object]
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  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. val id: String
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. val library_id: String
  14. val mappings: List[mapping]
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. val place: String
    Definition Classes
    theory_name → Object
  19. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  20. val target: Option[theory_name]
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TheoryExpr

Inherited from Object

Inherited from AnyRef

Inherited from Any

Ungrouped