Node

scalation.animation.Dgraph.Node

case class Node(shape: RectPolyShape, label: String, primary: Boolean, var color: Color, x: Double, y: Double, w: Double, h: Double)

The Node class is used to represent nodes in the graph.

Value parameters

color: the color of the node
h: the height
label: the label for the created node
primary: whether it is a primary/transition/true or secondary/place node/false
shape: the shape of the node
w: the width
x: the x-coordinate (top left)
y: the y-coordinate (top left)

Graph
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Add an outgoing edge to this node.

Add a token from this node.

Remove an outgoing edge from this node.

Remove a token from this node.

Set (or reset) the color.

Convert this node to a string.

In this article

Generated with