pure interface of class Graph0TensorDots

public class Graph0TensorDots
  extends Graph0Tensor
{
    public Graph0TensorDots(Constraints C,
                            Graph0 G,
                            Graph0 H);
    public void draw(Drawer d);
}