irt
Class NAME

java.lang.Object
  |
  +--irt.Exp
        |
        +--irt.NAME

public class NAME

extends Exp

Field Summary

Label

label

Fields inherited from class irt.Exp

typeD

Constructor Summary

NAME(Label label)

Methods inherited from class java.lang.Object

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

Field Detail

label

public Label label

Constructor Detail

NAME

public NAME(Label label)