#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.
Namespaces | |
namespace | polybori |
Classes | |
class | polybori::PolynomialFactory |
This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing. More... |
BoolePolynomial
with a BoolePolyRing.