net.sf.tweety.lp.asp.solver

Class AspInterface

java.lang.Object

net.sf.tweety.lp.asp.solver.AspInterface

public class AspInterface
extends Object

This class provides a common interface for asp-solvers. Most implementing classes will simply call an external grounder and solver and return the resulting string. Taken from the tweety project (http://tweety.sf.net), and only the core process runner is used.

Author:

Sebastian Homann (Original), Thomas Vengels (Modifications)

Constructor Summary

Constructors

Constructor and Description
AspInterface()

Method Summary

Modifier and Type	Method and Description
void	executeProgram(List<String> cmd, String input) Executes an external application with a given path, a set of parameters and an input string.
void	executeProgram(String... args)
List<String>	getError()
List<String>	getOutput() this method returns the output of a previously called answer set solver tools.

Methods inherited from class java.lang.Object

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

Constructor Detail

AspInterface

public AspInterface()

Method Detail

executeProgram

public void executeProgram(List<String> cmd,
                           String input)
                    throws IOException

Executes an external application with a given path, a set of parameters and an input string. Returns a pair of strings where the first element is equal to the stdout during exection, and the second element is errout which equals "" when no error occured during execution. This method blocks the working thread until the execution terminates and all output streams have been emptied.

Parameters:

cmd - A string array consisting of the path to the executable and a set of parameters.

input - An input string which is handed over to the executed program.

Throws:

IOException

executeProgram

public void executeProgram(String... args)
                    throws IOException

Throws:

IOException

getOutput

public List<String> getOutput()

this method returns the output of a previously called answer set solver tools. only content from the stdout stream is collected here.

Returns:

output of answer set solver

getError

public List<String> getError()