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