EmbASP-CSharp
EmbASP-CSharp
it
unical
mat
embasp
specializations
dlv
desktop
DLVDesktopService.cs
1
namespace
it.unical.mat.embasp.specializations.dlv.desktop
2
{
3
using
Output =
it
.
unical
.
mat
.
embasp
.@
base
.
Output
;
4
using
DesktopService =
it
.
unical
.
mat
.
embasp
.
platforms
.
desktop
.
DesktopService
;
5
6
public
class
DLVDesktopService
: DesktopService
7
{
8
public
DLVDesktopService
(
string
exe_path) :
base
(exe_path) => load_from_STDIN_option =
"--"
;
9
10
protected
internal
override
Output GetOutput(
string
output,
string
error) =>
new
DLVAnswerSets
(output, error);
11
}
12
}
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.dlv.desktop
Definition:
DLVDesktopService.cs:1
it.unical.mat.embasp.specializations.dlv.desktop.DLVDesktopService
Definition:
DLVDesktopService.cs:6
it
Definition:
AnswerSet.cs:5
it.unical.mat.embasp.specializations.dlv.DLVAnswerSets
Definition:
DLVAnswerSets.cs:7
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