!7

lib 1007168 // graphstream core 1.3

import org.graphstream.graph.*;
import org.graphstream.graph.implementations.*;
import org.graphstream.ui.*; // SpriteManager

p {
  Graph graph = new SingleGraph("Graph with sprites");

  graph.addNode("A");
  graph.addNode("B");
  graph.addNode("C");
  graph.addEdge("AB", "A", "B");
  graph.addEdge("BC", "B", "C");
  graph.addEdge("CA", "C", "A");
  
  SpriteManager sm = new SpriteManager(graph);
	Sprite C = sm.addSprite("C");
	C.setPosition(0, 0, 0);
	C.setAttribute("ui.label", "(0,0)");

  graph.display();
}