EmbASP-CSharp
DLVFilterOption.cs
2 {
3  using ASPFilterOption = it.unical.mat.embasp.languages.asp.ASPFilterOption;
4 
5  public class DLVFilterOption : ASPFilterOption
6  {
7  public DLVFilterOption(string initial_option) : base() => options += initial_option;
8  }
9 }
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.ASPFilterOption
Definition: ASPFilterOption.cs:5
it.unical.mat.embasp.specializations.dlv.DLVFilterOption
Definition: DLVFilterOption.cs:5
it.unical
Definition: AnswerSet.cs:5
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
Definition: AnswerSet.cs:5