EmbASP-CSharp
Classes | Typedefs
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