#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:
|
|
|