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".
|