pure interface of class MorTensor

public class MorTensor
  extends Mor
{
    public MorTensor(Mor f,
                     Mor g);
    public void print(Printer p);
    public Graph0 graph0(Constraints C,
                         Interface source);
    public Graph1 graph1(Constraints C,
                         Interface source,
                         int control);
}