EmbASP-CSharp
EmbASP-CSharp
it
unical
mat
embasp
specializations
dlv2
desktop
DLV2DesktopService.cs
1
using
System.Collections.Generic;
2
3
namespace
it.unical.mat.embasp.specializations.dlv2.desktop
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
Generated by
1.8.17