#include <q.hpp>
Public Member Functions | |
| const Literal * | next () const |
| bool | isPositive () const |
| ulong | predicate () const |
| const Subterm * | firstArgument () const |
Private Member Functions | |
| Literal () | |
| ~Literal () | |
Friends | |
| class | VampireKernel |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2