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)
Attributes
-
Graph
-
-
Supertypes
-
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
Add an outgoing edge to this node.
Add an outgoing edge to this node.
Value parameters
-
edge
-
the edge to add
Attributes
Add a token from this node.
Add a token from this node.
Value parameters
-
token
-
the token to add
Attributes
Remove an outgoing edge from this node.
Remove an outgoing edge from this node.
Value parameters
-
edge
-
the edge to remove
Attributes
Remove a token from this node.
Remove a token from this node.
Value parameters
-
token
-
the token to remove
Attributes
Set (or reset) the color.
Set (or reset) the color.
Value parameters
-
color
-
the new color
Attributes
Convert this node to a string.
Convert this node to a string.
Attributes
-
Definition Classes
-
Any
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
-
Inherited from:
-
Product
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
-
Returns
-
in the default implementation, an Iterator[Any]
-
Inherited from:
-
Product