EmbASP-CSharp v7.1.0
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
 

Typedef Documentation

◆ InputProgram

◆ OptionDescriptor

◆ Output

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