public class ClingoLauncher extends Object
| Modifier and Type | Field and Description |
|---|---|
static HelperTool |
CLINGO |
| Constructor and Description |
|---|
ClingoLauncher(ClingoResultHandler handler,
String program) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
isAvailable() |
void |
run() |
public static final HelperTool CLINGO
public ClingoLauncher(ClingoResultHandler handler, String program)
public static boolean isAvailable()
public void run()
throws IOException
IOExceptionCopyright © 2012-2017. All Rights Reserved.