Construct an edge as a curve with explicit coordinates.
Construct an edge as a curve with explicit coordinates.
the shape (curve) of the edge
the label for the created edge
whether it is a primary/transition/true or secondary/place node/false
the color of the edge
the origination node
the destination node
the x-coordinate of the edge's start
the y-coordinate of the edge's start
the x-coordinate of the edge's control point
the y-coordinate of the edge's control point
the x-coordinate of the edge's end
the y-coordinate of the edge's end
Construct an edge as a line with explicit coordinates.
Construct an edge as a line with explicit coordinates.
the shape (line) of the edge
the label for the created edge
whether it is a primary/transition/true or secondary/place node/false
the color of the edge
the origination node
the destination node
the x-coordinate of the edge's start
the y-coordinate of the edge's start
the x-coordinate of the edge's end
the y-coordinate of the edge's end
Construct an edge with no bend.
Construct an edge with no bend.
the shape (line/curve) of the edge
the label for the created edge
whether it is a primary/transition/true or secondary/place node/false
the color of the edge
the origination node
the destination node
the shape (line/curve) of the edge
the label for the created edge
whether it is a primary/transition/true or secondary/place node/false
the color of the edge
the origination node
the destination node
the amount of bend in the curve
Add a token from this node.
Add a token from this node.
the token to add
the amount of bend in the curve
the color of the edge
the origination node
the label for the created edge
whether it is a primary/transition/true or secondary/place node/false
Set (or reset) the color.
the shape (line/curve) of the edge
the destination node
Convert this edge to a string.
Convert this edge to a string.
List of tokens current on this edge.
This class is used to represent edges in the graph. If bend = 0, a straight line is created, otherwise a quadratic curve is created.
the shape (line/curve) of the edge
the label for the created edge
whether it is a primary/transition/true or secondary/place node/false
the color of the edge
the origination node
the destination node
the amount of bend in the curve