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

SymCounter::Pred Class Reference

#include <SymCounter.hpp>

List of all members.

Public Member Functions

 Pred ()
void pred (Signature::Pred *p)
int pocc () const
int nocc () const
int docc () const
Signature::Predpred ()
void add (int polarity, int add)

Private Attributes

Signature::Pred_pred
int _pocc
int _nocc
int _docc


Constructor & Destructor Documentation

SymCounter::Pred::Pred  )  [inline]
 


Member Function Documentation

void SymCounter::Pred::add int  polarity,
int  add
 

int SymCounter::Pred::docc  )  const [inline]
 

int SymCounter::Pred::nocc  )  const [inline]
 

int SymCounter::Pred::pocc  )  const [inline]
 

Signature::Pred* SymCounter::Pred::pred  )  [inline]
 

void SymCounter::Pred::pred Signature::Pred p  )  [inline]
 


Member Data Documentation

int SymCounter::Pred::_docc [private]
 

int SymCounter::Pred::_nocc [private]
 

int SymCounter::Pred::_pocc [private]
 

Signature::Pred* SymCounter::Pred::_pred [private]
 


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