public class DLVHEXDesktopService extends DesktopService
DLVHEXDesktopService(java.lang.String exe_path)
getExePath, setExePath, startAsync, startSync
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DLVHEXDesktopService(java.lang.String exe_path)