|
linbox
|
#include <order-basis.h>
Public Member Functions | |
| EarlyTerm () | |
| template<typename VECT> | |
| void | update (size_t r, const VECT &u) |
| bool | terminated () const |
| void | reset () |
Data Fields | |
| size_t | _count |
| size_t | _val |
|
inline |
|
inline |
|
inline |
|
inline |
| size_t _count |
| size_t _val |