Gröbner basis project
Codebase for research into Gröbner basis computation
Strategy_Data Class Referenceabstract

Structure for sorting critical pairs. More...

#include <algorithm_buchberger_basic.hpp>

Inheritance diagram for Strategy_Data:
Normal_Strategy

Public Member Functions

Destruction
virtual ~Strategy_Data ()
 
Comparison
virtual bool equivalent (const Strategy_Data &) const =0
 should return true iff this and other are equivalent
 
bool operator== (const Strategy_Data &sd) const
 alias for equivalent()
 
virtual bool first_larger (const Strategy_Data &) const =0
 should return true iff this is larger than other
 
bool operator> (const Strategy_Data &sd) const
 alias for first_larger()
 
bool operator>= (const Strategy_Data &sd) const
 is this larger than or equivalent to other?
 
bool operator< (const Strategy_Data &sd) const
 is this smaller than other?
 
bool operator<= (const Strategy_Data &sd) const
 is this smaller than or equivalent to other?
 

Detailed Description

Structure for sorting critical pairs.

Author
John Perry
Date
2016

Definition at line 49 of file algorithm_buchberger_basic.hpp.


The documentation for this class was generated from the following file: