OPENF4
Library for Gröebner basis computations over finite fields.
 All Classes Namespaces Files Functions Variables Friends Pages
Classes | Namespaces | Functions
avl-critical-pair.h File Reference

Declaration of class AvlCriticalPair. More...

#include "critical-pair.h"
#include "dynamic-array.h"
Include dependency graph for avl-critical-pair.h:

Go to the source code of this file.

Classes

struct  F4::NodeAvlCriticalPair< Element >
 Represent a node of the AVL of critical pairs. More...
 
class  F4::AvlCriticalPair< Element >
 Represent an avl of critical pair. More...
 

Namespaces

 F4
 

Functions

template<typename Element >
void F4::printNode (NodeAvlCriticalPair< Element > *p, int indent=0)
 Print the AVL of root p. More...
 
template<typename Element >
std::ostream & F4::operator<< (std::ostream &stream, AvlCriticalPair< Element > const &avlCriticalPair)
 Overload the operator <<. More...
 

Detailed Description

Declaration of class AvlCriticalPair.

Author
Vanessa VITSE, Antoine JOUX, Titouan COLADON

Definition in file avl-critical-pair.h.