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

# public class PremonExpTuple

(source file: PremonExpTuple.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonExp
                       |
                       +----PremonExpTuple

The pure class interface.

    public class PremonExpTuple
      extends PremonExp

  An expression (M1,...,Mn).

##

PremonExpTuple(PremonExp[])
  Create a new tuple.

##

empty
  An empty tuple.

##

print(Printer)
printB(Printer)
semantics()
  The semantics of the expression.

##

PremonExpTuple

    public PremonExpTuple(PremonExp[] Ms);

  Create a new tuple.

  Parameters:
    Ms - the expressions M1,...,Mn

##

empty

    public static final PremonExpTuple empty;

  An empty tuple.

##

print

    public void print(Printer p);

printB

    public void printB(Printer p);

semantics

    public Mor semantics();

  The semantics of the expression.

  Returns:
    [[M1]] ... [[Mn]]
  Overrides:
    semantics in class PremonExp

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

###### PremonExpTuple.html