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

Classes
class	AnswerSet
class	AnswerSets
class	ASPFilterOption
class	ASPInputProgram
class	ASPMapper
class	IllegalTermException
class	PredicateNotValidException

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

Typedef Documentation

InputProgram

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

OptionDescriptor

using it.unical.mat.embasp.languages.asp.OptionDescriptor = typedef it.unical.mat.embasp.@base.OptionDescriptor

Output

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