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[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

6.  def createEdge(eid: Int, shape: CurvilinearShape, label: String, primary: Boolean, color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

   Create an edge at the given location.

   Create an edge at the given location.

   eid

   the external id for the edge

   shape

   the shape (curve) of the edge

   label

   the label for the created edge

   primary

   whether it is a primary (true) or secondary (false)

   color

   the color of the token

   from_eid

   the 'eid' of the origination node

   to_eid

   the 'eid' of the destination node

   pts

   the coordinates and dimensions of the edge

7.  def createNode(eid: Int, shape: RectangularShape, label: String, primary: Boolean, color: Color, pts: Array[Double]): Unit

   Create a node at the given location.

   Create a node at the given location.

   eid

   the external id for the node

   shape

   the shape of the node

   label

   the label for the created node

   primary

   whether node is primary/transition (true) or secondary/place (false)

   color

   the color of the node

   pts

   the coordinates and dimensions of the node

8.  def createToken(eid: Int, shape: RectangularShape, label: String, primary: Boolean, color: Color, on_eid: Int, pts: Array[Double]): Unit

   Create a token at the given location.

   Create a token at the given location.

   eid

   the external id for the token

   shape

   the shape of the token

   label

   the label for the created token

   primary

   whether it is a primary (true) or secondary (false)

   color

   the color of the token

   on_eid

   the 'eid' of the node it is on

   pts

   the coordinates and dimensions of the token

9.  def destroyEdge(eid: Int): Unit

   Destroy the edge with the given id.

   Destroy the edge with the given id.

   eid

   the edges's external id

10.  def destroyNode(eid: Int): Unit

    Destroy the node with the given id.

    Destroy the node with the given id.

    eid

    the node's external id

11.  def destroyToken(eid: Int): Unit

    Destroy the token with the given id.

    Destroy the token with the given id.

    eid

    the token's external id

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

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef → Any

14.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

15.  final def flaw(method: String, message: String): Unit

    Definition Classes

    Error

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

17.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19.  def move(shape: RectangularShape, p: Array[Double]): Unit

    Definition Classes

    Transform

20.  def move(shape: RectangularShape, x: Double, y: Double): Unit

    Definition Classes

    Transform

21.  def moveNode(eid: Int, pts: Array[Double]): Unit

    Move the node to a new (x, y) location.

    Move the node to a new (x, y) location. Edges cannot be moved directly, but must adjust to node movements.

    eid

    the external id of the node to move

    pts

    the new x, y -coordinates

22.  def moveToken(eid: Int, pts: Array[Double]): Unit

    Move the token to a new (x, y) location.

    Move the token to a new (x, y) location.

    eid

    the external id of the token to move

    pts

    the new x, y -coordinates

23.  def moveToken2Edge(eid: Int, edge_eid: Int, step: Double): Boolean

    Move the token along the curve for an edge and return false if at end of curve.

    Move the token along the curve for an edge and return false if at end of curve.

    eid

    the external id for the token to move

    edge_eid

    the external id for edge to move along

    step

    the length of step

24.  def moveToken2Node(eid: Int, node_eid: Int): Unit

    Move the token onto the new node.

    Move the token onto the new node.

    eid

    the external id of the token to move

    node_eid

    the external id of the node to move onto

25.  def moveTokens2Node(color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

    Move 'number' tokens of color 'color' from node 'from_eid' to node 'to_eid'.

    Move 'number' tokens of color 'color' from node 'from_eid' to node 'to_eid'.

    color

    the color of the tokens to move

    from_eid

    the external id of the node tokens are to be taken from

    to_eid

    the external id of the node the tokens are to be moved to

    pts

    one dimensional array containing number of tokens to move

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

    Definition Classes

    AnyRef

27.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

28.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

29.  def rotate(shape: RectangularShape, theta: Double): Unit

    Definition Classes

    Transform

30.  def scale(shape: RectangularShape, p: Array[Double]): Unit

    Definition Classes

    Transform

31.  def scale(shape: RectangularShape, w: Double, h: Double): Unit

    Definition Classes

    Transform

32.  def scaleNode(eid: Int, pts: Array[Double]): Unit

    Scale the node, i.e., make it larger or smaller.

    Scale the node, i.e., make it larger or smaller. Edges cannot be scaled directly, but must adjust to node scaling.

    eid

    the external id of the node to scale

    pts

    the new width, height dimensions

33.  def scaleToken(eid: Int, pts: Array[Double]): Unit

    Scale the token, i.e., make it larger or smaller.

    Scale the token, i.e., make it larger or smaller.

    eid

    the external id of the token to scale

    pts

    the new width, height dimensions

34.  def scaleTokensAt(color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

    Move 'amount' tokens/fluids of color 'color' from node 'from_eid' to node 'to_eid' by increasing the size of tokens at 'to_eid' while decreasing the size at 'from_eid'.

    Move 'amount' tokens/fluids of color 'color' from node 'from_eid' to node 'to_eid' by increasing the size of tokens at 'to_eid' while decreasing the size at 'from_eid'.

    color

    the color of the tokens/fluids to move

    from_eid

    the external id of the node tokens/fluids are to be taken from

    to_eid

    the external id of the node tokens/fluids are to be moved to

    pts

    one dimensional array containing amount of fluids to move

35.  def setPaintEdge(eid: Int, color: Color): Unit

    Set the paint color for the edge.

    Set the paint color for the edge.

    eid

    the external id for node to paint

    color

    the new color for the node

36.  def setPaintNode(eid: Int, color: Color): Unit

    Set the paint color for the node.

    Set the paint color for the node.

    eid

    the external id for node to paint

    color

    the new color for the node

37.  def setPaintToken(eid: Int, color: Color): Unit

    Set the paint color for the token.

    Set the paint color for the token.

    eid

    the external id for node to paint

    color

    the new color for the node

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

    Definition Classes

    AnyRef

39.  def timeDilation(pts: Array[Double]): Unit

    Adjust the time dilation: >1 slows down animation, <1 speeds up animation.

    Adjust the time dilation: >1 slows down animation, <1 speeds up animation.

    pts

    one dimensional array containing the new time dilation factor

40.  def timeDilationFactor: Double

    Get the time dilation factor.

41.  def toString(): String

    Definition Classes

    AnyRef → Any

42.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )