it.unical.mat.embasp.specializations.clingo.desktop

Class ClingoDesktopService

java.lang.Object

it.unical.mat.embasp.platforms.desktop.DesktopService

it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService

All Implemented Interfaces:

Service

public class ClingoDesktopService
extends DesktopService

is an extention of DesktopService for Clingo 's solver

Constructor Summary

Constructors

Constructor and Description
ClingoDesktopService(java.lang.String exe_path)

Method Summary

Methods inherited from class it.unical.mat.embasp.platforms.desktop.DesktopService

getExePath, setExePath, startAsync, startSync

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClingoDesktopService

public ClingoDesktopService(java.lang.String exe_path)