Stabilization classes

Classes
class	sortrel
	A sortrel is a relation between two sortee s. More...
class	sortee
	Class that is an item to be stabilized. More...
class	sorset
	A sorset is a group of sortee s. More...
class	sort_glb
	Class that holds all global data used to stabilize a group of items. More...

Detailed Description

This group corresponds to all classes relating to the stabilization processes. The process of calculating a BDUST canonical form formula (BCFF) is called stabilization.