Class TPTPParserExample
- java.lang.Object
-
- net.sf.tweety.logics.fol.examples.TPTPParserExample
-
public class TPTPParserExample extends java.lang.Object
Examples for using TPTPParser.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description TPTPParserExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.io.FileNotFoundException, ParserException, java.io.IOException
- Throws:
java.io.FileNotFoundException
ParserException
java.io.IOException
-
-