| Modifier and Type | Class and Description |
|---|---|
class |
OHMMDrive.AllStateDrive
state data structure for
OHMM.allState(ohmm.OHMM.AllState) |
| Modifier and Type | Method and Description |
|---|---|
OHMM.AllState |
OHMM.allState()
covers
OHMM.allState(AllState), always conses |
OHMM.AllState |
OHMM.allState(OHMM.AllState state)
Runs monitor command "allst".
|
OHMM.AllState |
OHMMDrive.makeAllState()
Factory method to cons an
OHMM.AllState. |
OHMM.AllState |
OHMM.makeAllState()
Factory method to cons an
OHMM.AllState. |
| Modifier and Type | Method and Description |
|---|---|
OHMM.AllState |
OHMM.allState(OHMM.AllState state)
Runs monitor command "allst".
|