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

Go to the source code of this file.

Classes

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

Namespaces

 polybori
 
 polybori::groebner
 

Functions

wlen_type polybori::groebner::wlen_literal_exceptioned (const PolyEntry &e)
 

Detailed Description

Author
Michael Brickenstein
Date
2011-06-29

This file includes the definition of the class LessWeightedLengthInStratModified.

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