EmbASP-CSharp
DLV2DesktopService.cs
1 using System.Collections.Generic;
2 
4 {
5  using Output = it.unical.mat.embasp.@base.Output;
6  using DesktopService = it.unical.mat.embasp.platforms.desktop.DesktopService;
7 
8  public class DLV2DesktopService : DesktopService
9  {
10  public DLV2DesktopService(string exe_path) : base(exe_path)
11  {
12  load_from_STDIN_option = "--stdin";
13  }
14 
15  protected internal override Output GetOutput(string output, string error) => new DLV2AnswerSets(output, error);
16  }
17 }
it.unical.mat.embasp.platforms.desktop.DesktopService
Definition: DesktopService.cs:17
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.dlv2.DLV2AnswerSets
Definition: DLV2AnswerSets.cs:7
it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService
Definition: DLV2DesktopService.cs:8
it
Definition: AnswerSet.cs:5
it.unical.mat.embasp.specializations.dlv2.desktop
Definition: DLV2DesktopService.cs:3
base.Output
Definition: Output.cs:5
it.unical.mat.embasp.platforms
Definition: DesktopHandler.cs:3
it.unical.mat
Definition: AnswerSet.cs:5