Package org.tweetyproject.lp.asp.parser
Class AspifParserTest
java.lang.Object
org.tweetyproject.lp.asp.parser.AspifParserTest
Tests for AspifParser (parser for the the output language of gringo).
- Author:
- Anna Gessler
- See Also:
-
Field Summary
-
Constructor Summary
-
Method Summary
-
Field Details
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUTdefault timeout- See Also:
-
-
Constructor Details
-
AspifParserTest
public AspifParserTest()
-
-
Method Details
-
SimpleProgramTest
- Throws:
ParseException
- parsing exceptionFileNotFoundException
- file not foundIOException
- ioexception
-