Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Clause::Data Class Reference
#include <
Clause.hpp
>
List of all members.
Public Member Functions
Data
()
Data
(const
LiteralList
&literals)
const
LiteralList
&
literals
() const
void
ref
()
void
deref
()
Private Attributes
int
_counter
LiteralList
_literals
Constructor & Destructor Documentation
Clause::Data::Data
(
)
Clause::Data::Data
(
const
LiteralList
&
literals
)
[inline, explicit]
Member Function Documentation
void Clause::Data::deref
(
)
[inline]
const
LiteralList
& Clause::Data::literals
(
)
const
[inline]
void Clause::Data::ref
(
)
[inline]
Member Data Documentation
int
Clause::Data::_counter
[private]
LiteralList
Clause::Data::_literals
[private]
The documentation for this class was generated from the following file:
Clause.hpp
Generated on Sat Jun 28 15:08:58 2003 for Vampire by
1.3.2