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 GroebnerStrategy *	strat

---

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]

References polybori::groebner::GroebnerStrategy::lm2Index.

---

Member Data Documentation

const GroebnerStrategy* polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::strat

---

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

• groebner_alg.h