Data Structures
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...