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

Namespaces
namespace	desktop

Classes
class	IDLVMinimalModels

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

Typedef Documentation

MinimalModels

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