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

Term::CompoundData Class Reference

#include <Term.hpp>

Inheritance diagram for Term::CompoundData:

Term::Data List of all members.

Public Member Functions

 CompoundData (Signature::Fun *f, const TermList &args)
 CompoundData (Signature::Fun *f)
Signature::Funfunctor () const
const TermListargs () const

Private Attributes

Signature::Fun_functor
TermList _args

Constructor & Destructor Documentation

Term::CompoundData::CompoundData Signature::Fun f,
const TermList args
[inline]
 

Term::CompoundData::CompoundData Signature::Fun f  )  [inline, explicit]
 


Member Function Documentation

const TermList & Term::CompoundData::args  )  const [inline]
 

Signature::Fun * Term::CompoundData::functor  )  const [inline]
 


Member Data Documentation

TermList Term::CompoundData::_args [private]
 

Signature::Fun* Term::CompoundData::_functor [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