#include <q.hpp>
Public Member Functions | |
const Subterm * | next () const |
bool | isVariable () const |
ulong | variableNumber () const |
ulong | topFunction () const |
const Subterm * | firstArgument () const |
Private Member Functions | |
Subterm () | |
~Subterm () | |
Friends | |
class | VampireKernel |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|