Package net.sf.tweety.logics.fol.examples
-
Class Summary Class Description FolExample Some examples for using FolParser and provers.StandardFolWriterExample Shows how to use the StandardFolWriterTPTPParserExample Examples for using TPTPParser.
| Class | Description |
|---|---|
| FolExample |
Some examples for using FolParser and provers.
|
| StandardFolWriterExample |
Shows how to use the StandardFolWriter
|
| TPTPParserExample |
Examples for using TPTPParser.
|