Packages

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

user-provided reference to a symbol

id

theory name

library_id

library (in particular, as declared by lib_decl)

mappings

instantiations/renaming for

target

abbreviation for substituting a set of names at once by the declarations of the same local name in a different theory

actuals

instantiations for the formal parameters (positional, full)

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

Instance Constructors

  1. new name(id: String, theory_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

    target

    abbreviation for substituting a set of names at once by the declarations of the same local name in a different theory

    actuals

    instantiations for the formal parameters (positional, full)

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. def id_proper: String
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. val library_id: String
  15. val mappings: List[mapping]
  16. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  20. val target: Option[theory_name]
  21. val theory_id: String
  22. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. 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 Group

Inherited from AnyRef

Inherited from Any

Ungrouped