EmbASP-Java
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