Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Literal::Data Class Reference

#include <Literal.hpp>

List of all members.

Public Member Functions

 Data ()
 Data (bool sign, const Atom &atom)
bool positive () const
bool negative () const
bool sign () const
const Atomatom () const
void ref ()
void deref ()

Protected Attributes

int _counter
bool _sign
Atom _atom


Constructor & Destructor Documentation

Literal::Data::Data  ) 
 

Literal::Data::Data bool  sign,
const Atom atom
[inline]
 


Member Function Documentation

const Atom & Literal::Data::atom  )  const [inline]
 

void Literal::Data::deref  )  [inline]
 

bool Literal::Data::negative  )  const
 

bool Literal::Data::positive  )  const
 

void Literal::Data::ref  )  [inline]
 

bool Literal::Data::sign  )  const [inline]
 


Member Data Documentation

Atom Literal::Data::_atom [protected]
 

int Literal::Data::_counter [protected]
 

bool Literal::Data::_sign [protected]
 


The documentation for this class was generated from the following file:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2