org.colomoto.biolqm.helper.clingo

Class ClingoLauncher

java.lang.Object

org.colomoto.biolqm.helper.clingo.ClingoLauncher

public class ClingoLauncher
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static HelperTool	CLINGO

Constructor Summary

Constructors

Constructor and Description
ClingoLauncher(ClingoResultHandler handler, String program)

Method Summary

Modifier and Type	Method and Description
static boolean	isAvailable()
void	run()
void	setMinsolutions(boolean min)
void	setSolutionLimit(int n)

Methods inherited from class java.lang.Object

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

Field Detail

CLINGO

public static final HelperTool CLINGO

Constructor Detail

ClingoLauncher

public ClingoLauncher(ClingoResultHandler handler,
                      String program)

Method Detail

isAvailable

public static boolean isAvailable()

setMinsolutions

public void setMinsolutions(boolean min)

setSolutionLimit

public void setSolutionLimit(int n)

run

public void run()
         throws IOException

Throws:

IOException