Class graphedit.Node

java.lang.Object
  |
  +--graphedit.Node

Enclosing class:

graphedit

public class graphedit.Node

extends java.lang.Object

Classe nodo di grafo

Field Summary

java.awt.Point

p Posizione del nodo

Constructor Summary

graphedit.Node(java.awt.Point q)
Costruttore della classe nodo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

p

public java.awt.Point p

Posizione del nodo

Constructor Detail

graphedit.Node

public graphedit.Node(java.awt.Point q)

Costruttore della classe nodo

Parameters:

p - posizione del nodo