Packages

c

info.kwarc.mmt.api.objects

AnonymousDiagram

case class AnonymousDiagram(nodes: List[DiagramNode], arrows: List[DiagramArrow], distNode: Option[LocalName]) extends Product with Serializable

a diagram in the category of theories and morphisms

nodes

the nodes

arrows

the arrows

distNode

the label of a distinguished node to be used if this diagram is used like a theory invariant: codomain of distArrow is distNode

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

Instance Constructors

  1. new AnonymousDiagram(nodes: List[DiagramNode], arrows: List[DiagramArrow], distNode: Option[LocalName])

    nodes

    the nodes

    arrows

    the arrows

    distNode

    the label of a distinguished node to be used if this diagram is used like a theory invariant: codomain of distArrow is distNode

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 arrows: List[DiagramArrow]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  7. val distNode: Option[LocalName]
  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. def getAllArrowsTo(label: LocalName): List[DiagramArrow]
  11. def getArrow(label: LocalName): Option[DiagramArrow]
  12. def getArrowWithNodes(label: LocalName): Option[(DiagramNode, DiagramNode, DiagramArrow)]
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def getDistArrow: Option[DiagramArrow]
  15. def getDistArrowWithNodes: Option[(DiagramNode, DiagramNode, DiagramArrow)]
  16. def getDistArrowsTo(label: LocalName): List[DiagramArrow]

    returns all distinguished arrows that can be composed to form a morphism into the node label starting from that node

  17. def getDistNode: Option[DiagramNode]
  18. def getElements: List[DiagramElement with Product with Serializable { def toTerm: info.kwarc.mmt.api.objects.OML }]
  19. def getNode(label: LocalName): Option[DiagramNode]
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. val nodes: List[DiagramNode]
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. def path(sourceLabel: LocalName, targetLabel: LocalName): List[DiagramArrow]
  26. def relabel(r: (LocalName) ⇒ LocalName): AnonymousDiagram

    replaces every label l with r(l)

  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnonymousDiagram → AnyRef → Any
  29. def toTerm: OMA
  30. def union(that: AnonymousDiagram): AnonymousDiagram
  31. def viewOf(source: DiagramNode, target: DiagramNode): List[OML]
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. 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 AnyRef

Inherited from Any

Ungrouped