EmbASP-CSharp
DLVAnswerSets.cs
1 using it.unical.mat.parsers.asp;
2 
4 {
5  using AnswerSets = it.unical.mat.embasp.languages.asp.AnswerSets;
6 
7  public class DLVAnswerSets : AnswerSets
8  {
9  public DLVAnswerSets(string answerSets) : base(answerSets) { }
10 
11  public DLVAnswerSets(string @out, string err) : base(@out, err) { }
12 
13  protected internal override void Parse()
14  {
15  ASPSolversParser.ParseDLV(this, output, true);
16  }
17  }
18 }
it.unical.mat.embasp.languages
Definition: AnswerSet.cs:5
base
Definition: Callback.cs:1
it.unical.mat.embasp
Definition: AnswerSet.cs:5
it.unical.mat.embasp.languages.asp.AnswerSets
Definition: AnswerSets.cs:10
it.unical
Definition: AnswerSet.cs:5
it.unical.mat.parsers.asp
Definition: ASPParser.cs:6
it.unical.mat.embasp.specializations.dlv
Definition: DLVDesktopService.cs:1
it
Definition: AnswerSet.cs:5
it.unical.mat.embasp.languages.asp
Definition: AnswerSet.cs:5
it.unical.mat.embasp.specializations.dlv.DLVAnswerSets
Definition: DLVAnswerSets.cs:7
it.unical.mat.parsers
Definition: ASPParser.cs:6
it.unical.mat
Definition: AnswerSet.cs:5