Class AspifParser

java.lang.Object
org.tweetyproject.lp.asp.parser.AspifParser

public class AspifParser extends Object
This class is a parser for the aspif (ASP Intermediate Format) format, the output language of gringo (https://potassco.org/clingo/).
Note that parsing is only supported for rules, optimize statements and output statements, but not for advanced statement types such as #external statements, #heuristic directives or theory terms. A description of the format can be found in the appendix of [Gebser, Kaminski, Kaufmann, Ostrowski, Schaub, Wanko. Theory Solving Made Easy with Clingo 5 (Extended Version). 2016].
Author:
Anna Gessler