f5data.h File Reference

Go to the source code of this file.

Data Structures
class	LPolyOld
	class of labeled polynomials More...
class	CPairOld
	structure of labeled critical pairs More...
class	RuleOld
	structure of RuleOlds(i.e. More...