EmbASP-CSharp
DLVHEXDesktopService.cs
2 {
3  using Output = it.unical.mat.embasp.@base.Output;
4  using DesktopService = it.unical.mat.embasp.platforms.desktop.DesktopService;
5 
6  public class DLVHEXDesktopService : DesktopService
7  {
8  public DLVHEXDesktopService(string exe_path) : base(exe_path) => load_from_STDIN_option = "--";
9 
10  protected internal override Output GetOutput(string output, string error) => new DLVHEXAnswerSets(output, error);
11  }
12 }
it.unical.mat.embasp.platforms.desktop.DesktopService
Definition: DesktopService.cs:17
it.unical.mat.embasp.specializations.dlvhex.desktop.DLVHEXDesktopService
Definition: DLVHEXDesktopService.cs:6
it.unical.mat.embasp.platforms.desktop
Definition: DesktopHandler.cs:3
base
Definition: Callback.cs:1
it.unical.mat.embasp
Definition: AnswerSet.cs:5
it.unical
Definition: AnswerSet.cs:5
it.unical.mat.embasp.specializations.dlvhex.desktop
Definition: DLVHEXDesktopService.cs:1
it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets
Definition: DLVHEXAnswerSets.cs:7
it
Definition: AnswerSet.cs:5
base.Output
Definition: Output.cs:5
it.unical.mat.embasp.platforms
Definition: DesktopHandler.cs:3
it.unical.mat
Definition: AnswerSet.cs:5