polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat Class Reference

#include <groebner_alg.h>

List of all members.

Public Member Functions

 LessUsedTailVariablesThenLessWeightedLengthInStrat (const GroebnerStrategy &strat)
bool operator() (const Monomial &a, const Monomial &b) const

Public Attributes

const GroebnerStrategystrat

Constructor & Destructor Documentation

polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::LessUsedTailVariablesThenLessWeightedLengthInStrat ( const GroebnerStrategy strat  )  [inline]

Member Function Documentation

bool polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::operator() ( const Monomial a,
const Monomial b 
) const [inline]

Member Data Documentation


The documentation for this class was generated from the following file:
Generated on Tue May 4 08:22:57 2010 for PolyBoRi by  doxygen 1.6.3