PolyBoRi
|
#include <polybori/pbori_defs.h>
#include <polybori/factories/CFactoryBase.h>
#include <polybori/BoolePolynomial.h>
#include <polybori/BooleMonomial.h>
Go to the source code of this file.
Classes | |
class | polybori::PolynomialFactory |
This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing. More... | |
Namespaces | |
polybori | |
This file defines the base class PolynomialFactory which is used for currying the constructors of BoolePolynomial
with a BoolePolyRing.