Package | Description |
---|---|
net.sf.tweety.logics.fol.test | |
net.sf.tweety.logics.fol.writer |
Modifier and Type | Field and Description |
---|---|
(package private) FolWriter |
TPTPTest.printer |
(package private) FolWriter |
Prover9Test.printer |
Modifier and Type | Class and Description |
---|---|
class |
Prover9Writer
Prints single fol formulas and full knowledge bases to Porver9 format
(https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/)
|
class |
TptpWriter
Prints single fol formulas and full knowledge bases to TPTP
|