EmbASP-Java v7.1.0
|
Public Member Functions | |
Output () | |
Output (final String initial_output) | |
Output (final String out, final String err) | |
Object | clone () throws CloneNotSupportedException |
String | getErrors () |
String | getOutput () |
void | setErrors (final String err) |
void | setOutput (final String output) |
Protected Member Functions | |
void | parse () |
Protected Attributes | |
String | output |
String | errors |
represents a generic output for a solver
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inlineprotected |
Reimplemented in it.unical.mat.embasp.specializations.solver_planning_domains.SPDPlan, it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels, it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets, it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets, it.unical.mat.embasp.specializations.dlv.DLVAnswerSets, and it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets.
|
inline |
|
inline |
|
protected |
The errors thrown by the solver
|
protected |
Variable in which results are stored