EmbASP-CSharp
ClingoAnswerSets.cs
1 using it.unical.mat.parsers.asp;
2 
4 {
5  using AnswerSets = it.unical.mat.embasp.languages.asp.AnswerSets;
6 
7  public class ClingoAnswerSets : AnswerSets
8  {
9  public ClingoAnswerSets(string answersets) : base(answersets) { }
10 
11  public ClingoAnswerSets(string @out, string err) : base(@out, err) { }
12 
13  protected internal override void Parse()
14  {
15  ASPSolversParser.ParseClingo(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
Definition: AnswerSet.cs:5
it.unical.mat.embasp.languages.asp
Definition: AnswerSet.cs:5
it.unical.mat.parsers
Definition: ASPParser.cs:6
it.unical.mat.embasp.specializations.clingo
Definition: ClingoAnswerSets.cs:3
it.unical.mat
Definition: AnswerSet.cs:5
it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets
Definition: ClingoAnswerSets.cs:7