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

SymCounter::Fun Class Reference

#include <SymCounter.hpp>

List of all members.

Public Member Functions

 Fun ()
void fun (Signature::Fun *f)
int occ () const
Signature::Funfun ()
void add (int add)

Private Attributes

Signature::Fun_fun
int _occ


Constructor & Destructor Documentation

SymCounter::Fun::Fun  )  [inline]
 


Member Function Documentation

void SymCounter::Fun::add int  add  )  [inline]
 

Signature::Fun* SymCounter::Fun::fun  )  [inline]
 

void SymCounter::Fun::fun Signature::Fun f  )  [inline]
 

int SymCounter::Fun::occ  )  const [inline]
 


Member Data Documentation

Signature::Fun* SymCounter::Fun::_fun [private]
 

int SymCounter::Fun::_occ [private]
 


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