#include "Formula.hpp"Go to the source code of this file.
Compounds | |
| class | KIFOutput |
| class | LaTeXOutput |
| class | NativeOutput |
| class | Output |
| class | TPTPOutput |
| class | XMLOutput |
Enumerations | |
| enum | OutputSyntax { TPTP = 0, NATIVE = 1, KIF = 2, XML = 3, LATEX = 4 } |
Functions | |
| ostream & | operator<< (ostream &, const Formula &) |
|
|
Output syntax of Vampire. The following kinds are available:
|
|
||||||||||||
|
|
1.3.2