EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
embasp
specializations
dlv
DLVAnswerSets.java
1
package
it.unical.mat.embasp.specializations.dlv;
2
3
import
it.unical.mat.embasp.languages.asp.AnswerSets;
4
import
it.unical.mat.parsers.asp.ASPSolversParser;
5
6
public
class
DLVAnswerSets
extends
AnswerSets
{
9
public
DLVAnswerSets
(
final
String answerSets) {
10
super(answerSets);
11
}
12
13
public
DLVAnswerSets
(
final
String out,
final
String err) {
14
super(out, err);
15
// TODO Auto-generated constructor stub
16
}
17
18
@Override
19
protected
void
parse() {
20
ASPSolversParser.parseDLV(
this
,
output
,
true
);
21
}
22
}
it.unical.mat.embasp.languages.asp.AnswerSets
Definition:
AnswerSets.java:12
it.unical.mat.embasp.specializations.dlv.DLVAnswerSets.DLVAnswerSets
DLVAnswerSets(final String answerSets)
Definition:
DLVAnswerSets.java:9
it.unical.mat.embasp.base.Output.output
String output
Definition:
Output.java:6
it.unical.mat.embasp.specializations.dlv.DLVAnswerSets
Definition:
DLVAnswerSets.java:6
Generated by
1.8.17