pure interface of class Graph0Id

public class Graph0Id
  extends Graph0
{
    public Graph0Id(Constraints C,
                    Interface i);
    public void draw(Drawer d);
}