[all packages]
[package ]
[class hierarchy]
[index]
java.lang.Object | +----Printable | +----PremonJJTNode | +----PremonJJTDec | +----PremonJJTDecLocalRecMany
public class PremonJJTDecLocalRecMany extends PremonJJTDec
public PremonJJTDecLocalRecMany(int id);
public void print(Printer p);
public PremonCon getBind() throws TypeError;
public PremonDec desugar(PremonCon Gamma) throws TypeError;
[all packages]
[package ]
[class hierarchy]
[index]