EmbASP-CSharp v7.1.0
Namespaces | Classes | Typedefs
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