PolyBoRi
Classes | Namespaces
LessUsedTailVariablesThenLessWeightedLengthInStrat.h File Reference
#include "groebner_defs.h"

Go to the source code of this file.

Classes

class  polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat
 This class defines LessUsedTailVariablesThenLessWeightedLengthInStrat. More...

Namespaces

namespace  polybori
namespace  polybori::groebner

Detailed Description

Author
Michael Brickenstein
Date
2011-06-29

This file includes the definition of the class LessUsedTailVariablesThenLessWeightedLengthInStrat.

Copyright:
(c) 2006-2010 by The PolyBoRi Team