pure interface of class Graph1Embed

public class Graph1Embed
  extends Graph1
{
    public Graph1Embed(Constraints C,
                       Graph0 G,
                       int control);
    public void draw(Drawer d);
}