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