CriticalPairs.h File Reference

#include <carl-arith/core/CompareResult.h>
#include <carl-arith/poly/umvpoly/MonomialOrdering.h>
#include <carl-common/datastructures/Heap.h>
#include "CriticalPairsEntry.h"
#include <unordered_map>
#include "CriticalPairs.tpp"

Include dependency graph for CriticalPairs.h:

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

Go to the source code of this file.

Data Structures
class	carl::CriticalPairConfiguration< Compare >
class	carl::CriticalPairs< Datastructure, Configuration >
	A data structure to store all the SPolynomial pairs which have to be checked. More...

Namespaces
	carl
	carl is the main namespace for the library.

Typedefs
typedef CriticalPairs< Heap, CriticalPairConfiguration< GrLexOrdering > >	carl::CritPairs

Detailed Description

Author

Sebastian Junges

Definition in file CriticalPairs.h.