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 Thu Sep 10 02:17:53 2009 for PolyBoRi by  doxygen 1.5.8