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