public class OHMMDrive.AllStateDrive extends OHMM.AllState
OHMM.allState(ohmm.OHMM.AllState)| Modifier and Type | Field and Description |
|---|---|
OHMMDrive.DriveState |
drive
module state
|
| Constructor and Description |
|---|
OHMMDrive.AllStateDrive() |
| Modifier and Type | Method and Description |
|---|---|
void |
recv()
receive all fields
|
java.lang.String |
toString()
make a human readable message string summarizing the state
|
(package private) java.lang.StringBuilder |
toString(java.lang.StringBuilder sb)
helper for
toString() |
public final OHMMDrive.DriveState drive
public void recv()
recv in class OHMM.AllStatepublic java.lang.String toString()
toString in class OHMM.AllStatejava.lang.StringBuilder toString(java.lang.StringBuilder sb)
toString()toString in class OHMM.AllState