[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).

Constuctor Index

O PremonExpTuple(PremonExp[])
Create a new tuple.

Variables Index

O empty
An empty tuple.

Methods

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

Constructors

O PremonExpTuple
public PremonExpTuple(PremonExp[] Ms);
Create a new tuple.

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

Variables

O empty
public static final PremonExpTuple empty;
An empty tuple.

Methods

O print
public void print(Printer p);

O printB

public void printB(Printer p);

O 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