it.unical.mat.embasp.languages.datalog Namespace Reference

Classes
class	DatalogInputProgram
class	DatalogMapper
class	MinimalModel
class	MinimalModels

Typedefs
using	InputProgram = it.unical.mat.embasp. @base.InputProgram
using	Output = it.unical.mat.embasp. @base.Output

Typedef Documentation

InputProgram

using it.unical.mat.embasp.languages.datalog.InputProgram = typedef it.unical.mat.embasp.@base.InputProgram

Output

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