Node

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def addEdge(edge: Edge): Boolean

Add an outgoing edge to this node.

def addToken(token: Token): Unit

Add a token from this node.

final def asInstanceOf[T0]: T0

def canEqual(arg0: Any): Boolean

def clone(): AnyRef

var color: Color

the color of the node

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): java.lang.Class[_]

val h: Double

the height

def hashCode(): Int

val id: Int

Node identifier

final def isInstanceOf[T0]: Boolean

val label: String

the label for the created node

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val outEdges: ListBuffer[Edge]

List of outgoing edges

val primary: Boolean

whether it is a primary/transition/true or secondary/place node/false

def productArity: Int

def productElement(arg0: Int): Any

def productIterator: Iterator[Any]

def productPrefix: String

def removeEdge(edge: Edge): Unit

Remove an outgoing edge from this node.

def removeToken(token: Token): Unit

Remove a token from this node.

def setColor(color2: Color): Unit

Set (or reset) the color.

val shape: RectangularShape

the shape of the node

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

def toString(): String

Convert this node to a string.

val tokens: ListBuffer[Token]

List of tokens current in this node

val w: Double

the width

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val x: Double

the x-coordinate (top left)

val y: Double

the y-ccordinate (top left)

def productElements: Iterator[Any]