[all packages]
[package ]
[class hierarchy]
[index]
public class PremonJJTDecComp extends PremonJJTDec { public PremonJJTDecComp(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]