public class OHMM.OHMMState
extends java.lang.Object
OHMM.ohmmState(ohmm.OHMM.OHMMState)
Modifier and Type | Field and Description |
---|---|
int |
ticks
OrangutanTime ticks
|
Constructor and Description |
---|
OHMM.OHMMState() |
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 void recv()
public java.lang.String toString()
toString
in class java.lang.Object
java.lang.StringBuilder toString(java.lang.StringBuilder sb)
toString()