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::Fun
*
fun
()
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:
SymCounter.hpp
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2