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