[all packages]
[package ]
[class hierarchy]
[index]
public class PremonExpDots
(source file: PremonExpDots.java)
java.lang.Object
|
+----Printable
|
+----PremonExp
|
+----PremonExpDots
The pure class interface.
public class PremonExpDots
extends PremonExp
-
An expression M
...
N used in drawing
graphs containing ellipses.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/10
- PremonExpDots(PremonExp, PremonExp)
-
Create an expression M
...
N
- print(Printer)
-
- printB(Printer)
-
- semantics()
-
The semantics of the expression.
PremonExpDots
public PremonExpDots(PremonExp M,
PremonExp N);
-
Create an expression M
...
N
- Parameters:
- M - the lh expression
- N - the rh expression
print
public void print(Printer p);
printB
public void printB(Printer p);
semantics
public Mor semantics();
-
The semantics of the expression.
- Returns:
- [[M]] [[N]]
- Overrides:
- semantics in class PremonExp
[all packages]
[package ]
[class hierarchy]
[index]
PremonExpDots.html