Class mask.MaskHistory
java.lang.Object
|
+--mask.MaskHistory
- public class mask.MaskHistory
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
mask.MaskHistory
public mask.MaskHistory()
clearHistory
public void clearHistory()
addtoMaskHistory
public void addtoMaskHistory(int t,
double a1,
double a2,
double a3,
double a4)
saveHistory
public java.lang.String saveHistory()
loadHistory
public void loadHistory(java.io.StreamTokenizer tokenizer)
throws java.io.IOException
apply_history
public void apply_history()