edu.uiowa.cs.clc.kind2.lustre

Class IdExpr

java.lang.Object

edu.uiowa.cs.clc.kind2.lustre.Expr

edu.uiowa.cs.clc.kind2.lustre.IdExpr

public class IdExpr
extends Expr

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object