`[all packages] [package ] [class hierarchy] [index]`

# pure interface of class PremonPatTuple

The documentated page.

    public class PremonPatTuple
      extends PremonPat
    {
        public static final PremonPatTuple empty;
        public PremonPatTuple(PremonPat[] Ps);
        public void print(Printer p);
        public void printB(Printer p);
    }

`[all packages] [package ] [class hierarchy] [index]`

###### PremonPatTuple.interface.html