Function Member List

This is the complete list of members for Function, including all inherited members.

appendIntArrRep(Array< int > &rep)	Function	[inline]
appendTerm(Term *const &term)	Function	[inline]
Function(const FunctionTemplate *const &ft)	Function	[inline]
Function(const FunctionTemplate *const &ft, Term *const &parent)	Function	[inline]
Function(const Function &f)	Function	[inline]
Function(const Function &f, Term *const &parent)	Function	[inline]
getId() const	Function	[inline]
getName() const	Function	[inline]
getNumTerms() const	Function	[inline]
getParent() const	Function	[inline]
getRetConstId() const	Function	[inline]
getRetTypeId() const	Function	[inline]
getRetTypeName() const	Function	[inline]
getTemplate() const	Function	[inline]
getTerm(const int &idx) const	Function	[inline]
getTermTypeAsInt(const int &idx) const	Function	[inline]
getTermTypeAsStr(const int &idx) const	Function	[inline]
hashCode()	Function	[inline]
isDirty() const	Function	[inline]
print(ostream &out, const Domain *const &domain) const	Function	[inline]
printAsInt(ostream &out) const	Function	[inline]
printAsIntWithRetConstId(ostream &out) const	Function	[inline]
printWithRetConstName(ostream &out, const Domain *const &domain) const	Function
same(const Function *const &f) const	Function	[inline]
same(Function *const &f)	Function	[inline]
setDirty()	Function
setParent(Term *const parent)	Function	[inline]
setRetConstId(const int &constId)	Function	[inline]
setTemplate(FunctionTemplate *const &t)	Function	[inline]
~Function()	Function	[inline]

---