EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
embasp
specializations
dlvhex
DLVHEXAnswerSets.java
1
package
it.unical.mat.embasp.specializations.dlvhex;
2
3
import
it.unical.mat.embasp.languages.asp.AnswerSets;
4
import
it.unical.mat.parsers.asp.ASPSolversParser;
5
6
public
class
DLVHEXAnswerSets
extends
AnswerSets
{
7
public
DLVHEXAnswerSets
(
final
String answerSets) {
8
super(answerSets);
9
}
10
11
public
DLVHEXAnswerSets
(
final
String
output
,
final
String
errors
) {
12
super(
output
,
errors
);
13
}
14
15
@Override
16
protected
void
parse() {
17
ASPSolversParser
.parseDLVHEX(
this
,
output
,
true
);
18
}
19
}
it.unical.mat.embasp.languages.asp.AnswerSets
Definition:
AnswerSets.java:12
it.unical.mat.embasp.base.Output.output
String output
Definition:
Output.java:6
it.unical.mat.embasp.base.Output.errors
String errors
Definition:
Output.java:8
it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets
Definition:
DLVHEXAnswerSets.java:6
it.unical.mat.parsers.asp.ASPSolversParser
Definition:
ASPSolversParser.java:8
Generated by
1.8.17