Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
VampireKernel::Literal Class Reference
#include <
q.hpp
>
List of all members.
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
Constructor & Destructor Documentation
VampireKernel::Literal::Literal
(
)
[inline, private]
VampireKernel::Literal::~
Literal
(
)
[inline, private]
Member Function Documentation
const
Subterm
* VampireKernel::Literal::firstArgument
(
)
const
bool VampireKernel::Literal::isPositive
(
)
const
const
Literal
* VampireKernel::Literal::next
(
)
const
ulong VampireKernel::Literal::predicate
(
)
const
Friends And Related Function Documentation
friend class
VampireKernel
[friend]
The documentation for this class was generated from the following file:
q.hpp
Generated on Sat Jun 28 15:09:00 2003 for Vampire by
1.3.2