PolyBoRi
Public Member Functions | Public Attributes | List of all members
polybori::groebner::HasTRepOrExtendedProductCriterion Class Reference

This class defines HasTRepOrExtendedProductCriterion. More...

#include <HasTRepOrExtendedProductCriterion.h>

Public Member Functions

 HasTRepOrExtendedProductCriterion (GroebnerStrategy &strat, int j)
 
bool operator() (const Monomial &m)
 
bool operator() (const Exponent &m)
 

Public Attributes

GroebnerStrategystrat
 
int j
 

Detailed Description

This class defines HasTRepOrExtendedProductCriterion.

Constructor & Destructor Documentation

polybori::groebner::HasTRepOrExtendedProductCriterion::HasTRepOrExtendedProductCriterion ( GroebnerStrategy strat,
int  j 
)
inline

Member Function Documentation

bool polybori::groebner::HasTRepOrExtendedProductCriterion::operator() ( const Monomial m)
inline
bool polybori::groebner::HasTRepOrExtendedProductCriterion::operator() ( const Exponent m)
inline

Member Data Documentation

int polybori::groebner::HasTRepOrExtendedProductCriterion::j
GroebnerStrategy* polybori::groebner::HasTRepOrExtendedProductCriterion::strat

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