CriticalPairsEntry.h File Reference

#include <carl-arith/poly/umvpoly/Monomial.h>
#include "SPolPair.h"
#include <list>

Include dependency graph for CriticalPairsEntry.h:

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

Go to the source code of this file.

Data Structures
class	carl::CriticalPairsEntry< Compare >
	A list of SPol pairs which have to be checked by the Buchberger algorithm. More...

Namespaces
	carl
	carl is the main namespace for the library.

Detailed Description

Author

Sebastian Junges

Definition in file CriticalPairsEntry.h.