EmbASP-Java
DLVHEXAnswerSets.java
1 package it.unical.mat.embasp.specializations.dlvhex;
2 
3 import it.unical.mat.embasp.languages.asp.AnswerSets;
4 import it.unical.mat.parsers.asp.ASPSolversParser;
5 
6 public class DLVHEXAnswerSets extends AnswerSets {
7  public DLVHEXAnswerSets(final String answerSets) {
8  super(answerSets);
9  }
10 
11  public DLVHEXAnswerSets(final String output, final String errors) {
12  super(output, errors);
13  }
14 
15  @Override
16  protected void parse() {
17  ASPSolversParser.parseDLVHEX(this, output, true);
18  }
19 }
it.unical.mat.embasp.languages.asp.AnswerSets
Definition: AnswerSets.java:12
it.unical.mat.embasp.base.Output.output
String output
Definition: Output.java:6
it.unical.mat.embasp.base.Output.errors
String errors
Definition: Output.java:8
it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets
Definition: DLVHEXAnswerSets.java:6
it.unical.mat.parsers.asp.ASPSolversParser
Definition: ASPSolversParser.java:8