Uses of Class
ohmm.OHMM

Uses of OHMM in ohmm
 

Fields in ohmm declared as OHMM
protected  OHMM OHMMShell.ohmm
          Our OHMM.
 

Methods in ohmm that return OHMM
static OHMM OHMM.makeOHMM(java.lang.String[] argv)
          Constructs an OHMM from command line parameters.
 

Constructors in ohmm with parameters of type OHMM
OHMMShell(OHMM ohmm)
          Make a new OHMMShell wrapping an OHMM instance.