EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
embasp
specializations
dlv2
DLV2AnswerSets.java
1
package
it.unical.mat.embasp.specializations.dlv2;
2
3
import
it.unical.mat.embasp.languages.asp.AnswerSets;
4
import
it.unical.mat.parsers.asp.ASPSolversParser;
5
8
public
class
DLV2AnswerSets
extends
AnswerSets
{
9
10
public
DLV2AnswerSets
(
final
String
answersets
) {
11
super(
answersets
);
12
}
13
14
public
DLV2AnswerSets
(
final
String out,
final
String err) {
15
super(out, err);
16
}
17
18
@Override
19
protected
void
parse() {
20
ASPSolversParser
.parseDLV2(
this
,
output
,
true
);
21
}
22
}
it.unical.mat.embasp.languages.asp.AnswerSets
Definition:
AnswerSets.java:12
it.unical.mat.embasp.languages.asp.AnswerSets.answersets
List< AnswerSet > answersets
Definition:
AnswerSets.java:14
it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets
Definition:
DLV2AnswerSets.java:8
it.unical.mat.embasp.base.Output.output
String output
Definition:
Output.java:6
it.unical.mat.parsers.asp.ASPSolversParser
Definition:
ASPSolversParser.java:8
Generated by
1.8.17