DLVAnswerSets.cs File Reference

Classes
class	it.unical.mat.embasp.specializations.dlv.DLVAnswerSets

Namespaces
namespace	it
namespace	it.unical
namespace	it.unical.mat
namespace	it.unical.mat.embasp
namespace	it.unical.mat.embasp.specializations
namespace	it.unical.mat.embasp.specializations.dlv

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