it.unical.mat.embasp.specializations.dlv Namespace Reference

Namespaces
namespace	desktop

Classes
class	DLVAnswerSets
class	DLVFilterOption

Typedefs
using	AnswerSets = it.unical.mat.embasp.languages.asp.AnswerSets
using	ASPFilterOption = it.unical.mat.embasp.languages.asp.ASPFilterOption

Typedef Documentation

AnswerSets

using it.unical.mat.embasp.specializations.dlv.AnswerSets = typedef it.unical.mat.embasp.languages.asp.AnswerSets

ASPFilterOption

using it.unical.mat.embasp.specializations.dlv.ASPFilterOption = typedef it.unical.mat.embasp.languages.asp.ASPFilterOption