EmbASP-CSharp
EmbASP-CSharp
it
unical
mat
embasp
specializations
dlv2
DLV2AnswerSets.cs
1
using
it
.
unical
.
mat
.
parsers
.
asp
;
2
3
namespace
it.unical.mat.embasp.specializations.dlv2
4
{
5
using
AnswerSets =
it
.
unical
.
mat
.
embasp
.
languages
.
asp
.
AnswerSets
;
6
7
public
class
DLV2AnswerSets
: AnswerSets
8
{
9
public
DLV2AnswerSets
(
string
answersets) :
base
(answersets) { }
10
11
public
DLV2AnswerSets
(
string
@out,
string
err) :
base
(@out, err) { }
12
13
protected
internal
override
void
Parse()
14
{
15
ASPSolversParser.ParseDLV2(
this
, output,
true
);
16
}
17
}
18
}
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.AnswerSets
Definition:
AnswerSets.cs:10
it.unical
Definition:
AnswerSet.cs:5
it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets
Definition:
DLV2AnswerSets.cs:7
it.unical.mat.parsers.asp
Definition:
ASPParser.cs:6
it
Definition:
AnswerSet.cs:5
it.unical.mat.embasp.languages.asp
Definition:
AnswerSet.cs:5
it.unical.mat.embasp.specializations.dlv2
Definition:
DLV2DesktopService.cs:3
it.unical.mat.parsers
Definition:
ASPParser.cs:6
it.unical.mat
Definition:
AnswerSet.cs:5
Generated by
1.8.17