net.sf.tweety.lp.asp.solver

Class AspInterface

java.lang.Object

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

public class AspInterface
extends java.lang.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)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) class	AspInterface.StreamFlusher auxiliary class for reading output streams concurrently.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.util.List<java.lang.String>	errorData
(package private) java.util.List<java.lang.String>	outputData these variables holds the (result or error) of an answer set solver

Constructor Summary

Constructors

Constructor and Description
AspInterface()

Method Summary

Modifier and Type	Method and Description
void	executeProgram(java.util.List<java.lang.String> cmd, java.lang.String input) Executes an external application with a given path, a set of parameters and an input string.
void	executeProgram(java.lang.String... args)
java.util.List<java.lang.String>	getError()
java.util.List<java.lang.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

Field Detail

outputData

java.util.List<java.lang.String> outputData

these variables holds the (result or error) of an answer set solver

errorData

java.util.List<java.lang.String> errorData

Constructor Detail

AspInterface

public AspInterface()

Method Detail

executeProgram

public void executeProgram(java.util.List<java.lang.String> cmd,
                           java.lang.String input)
                    throws java.io.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:

java.io.IOException

executeProgram

public void executeProgram(java.lang.String... args)
                    throws java.io.IOException

Throws:

java.io.IOException

getOutput

public java.util.List<java.lang.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 java.util.List<java.lang.String> getError()