public class DEMProcessingOptions extends java.lang.Object
DEMProcessingOptions(java.util.Vector options)
void
delete()
boolean
equals(java.lang.Object obj)
int
hashCode()
getClass, notify, notifyAll, toString, wait, wait, wait
public DEMProcessingOptions(java.util.Vector options)
public void delete()
public boolean equals(java.lang.Object obj)
equals
java.lang.Object
public int hashCode()
hashCode