Class

scalatikz.pgf.automata

Edge

Related Doc: package automata

Permalink

case class Edge(from: Int, to: Int, condition: String, edgeType: EdgeType, drawColor: Color, textColor: Color, lineStyle: LineStyle, lineSize: LineSize) extends Product with Serializable

Creates an automaton edge connecting a pair of states.

from

starting state id

to

ending state id

condition

edge condition

edgeType

edge type (loopy, straight or bended)

drawColor

edge color

textColor

text color

lineStyle

line style

lineSize

line size

See also

scalatikz.pgf.automata.State

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Edge
  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 Edge(from: Int, to: Int, condition: String, edgeType: EdgeType, drawColor: Color, textColor: Color, lineStyle: LineStyle, lineSize: LineSize)

    Permalink

    from

    starting state id

    to

    ending state id

    condition

    edge condition

    edgeType

    edge type (loopy, straight or bended)

    drawColor

    edge color

    textColor

    text color

    lineStyle

    line style

    lineSize

    line size

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. val condition: String

    Permalink

    edge condition

  7. val drawColor: Color

    Permalink

    edge color

  8. val edgeType: EdgeType

    Permalink

    edge type (loopy, straight or bended)

  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. val from: Int

    Permalink

    starting state id

  12. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  14. val lineSize: LineSize

    Permalink

    line size

  15. val lineStyle: LineStyle

    Permalink

    line style

  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  20. val textColor: Color

    Permalink

    text color

  21. val to: Int

    Permalink

    ending state id

  22. def toString(): String

    Permalink
    Definition Classes
    Edge → AnyRef → Any

  23. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  25. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped