FunctionTerm.h File Reference

Implementation of the FunctionTerm class. More...

Include dependency graph for FunctionTerm.h:

This graph shows which files directly or indirectly include this file:

Classes
class	FunctionTerm
	qual A function term. More...
class	ListOfFunctionTerms
	qual A list of FunctionTerm objects. More...

Detailed Description

Implementation of the FunctionTerm class.

Author

Generated by autocreate code