IDLVMinimalModels.cs File Reference

Classes
class	it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels

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.idlv

Typedefs
using	it.unical.mat.embasp.specializations.idlv.MinimalModels = it.unical.mat.embasp.languages.datalog.MinimalModels