MinimalModels.cs File Reference

Classes
class	it.unical.mat.embasp.languages.datalog.MinimalModels

Namespaces
namespace	it
namespace	it.unical
namespace	it.unical.mat
namespace	it.unical.mat.embasp
namespace	it.unical.mat.embasp.languages
namespace	it.unical.mat.embasp.languages.datalog

Typedefs
using	it.unical.mat.embasp.languages.datalog.Output = it.unical.mat.embasp. @base.Output