#include <string>#include "Signature.hpp"#include "Memory.hpp"#include "Var.hpp"#include "VampireKernel.hpp"Go to the source code of this file.
Compounds | |
| class | Term |
| class | Term::CompoundData |
| class | Term::Data |
| class | Term::NumericData |
| class | Term::VarData |
| class | TermList |
Functions | |
| ostream & | operator<< (ostream &, const Term) |
|
||||||||||||
|
|
1.3.2