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 LiteralListliterals () 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:
Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2