public class DLVFilterOption extends ASPFilterOption
DLVFilterOption(java.lang.String initial_option)
addOption, clear, getOptions, getSeparator, setOptions, setSeparator
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DLVFilterOption(java.lang.String initial_option)