critical-pair.h File Reference

Declaration of class CriticalPair. More...

#include "tagged-polynomial.h"

Include dependency graph for critical-pair.h:

Go to the source code of this file.

Classes
class	F4::CriticalPair< Element >
	Represent a critical pair. More...

Namespaces
	F4

Functions
template<typename Element >
std::ostream &	F4::operator<< (std::ostream &stream, CriticalPair< Element > const &criticalPair)
	Overload the operator <<. More...
template<typename Element >
bool	F4::operator== (CriticalPair< Element > const &criticalPair1, CriticalPair< Element > const &criticalPair2)
	Overload the operator ==. More...
template<typename Element >
bool	F4::operator> (CriticalPair< Element > const &criticalPair1, CriticalPair< Element > const &criticalPair2)
	Overload the operator >. More...
template<typename Element >
bool	F4::operator>= (CriticalPair< Element > const &criticalPair1, CriticalPair< Element > const &criticalPair2)
	Overload the operator >=. More...
template<typename Element >
bool	F4::operator< (CriticalPair< Element > const &criticalPair1, CriticalPair< Element > const &criticalPair2)
	Overload the operator <. More...
template<typename Element >
bool	F4::operator<= (CriticalPair< Element > const &criticalPair1, CriticalPair< Element > const &criticalPair2)
	Overload the operator <=. More...

Detailed Description

Declaration of class CriticalPair.

Author

Vanessa VITSE, Antoine JOUX, Titouan COLADON

Definition in file critical-pair.h.