DatalogInputProgram.cs File Reference

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

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.InputProgram = it.unical.mat.embasp. @base.InputProgram