src Directory Reference

Directory dependency graph for src:

Files
	engine.cpp
	Implementation of the Engine class.
	pred.cpp
	Implementation of the Pred class and its derived classes.
	pvar.cpp
	Implementation of the PVar class.
	term.cpp
	comparison operators for TermPtrs and the isLessThan method for subclasses of Term.