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 first-order logic formulas and full knowledge bases to Prover9 format
(https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/).
|
class |
TPTPWriter
Prints single first-order logic formulas and full knowledge bases to TPTP format.
|