PolyBoRi
Classes | Namespaces
VariableFactory.h File Reference
#include <polybori/pbori_defs.h>
#include <polybori/factories/CFactoryBase.h>
#include <polybori/BooleVariable.h>

Go to the source code of this file.

Classes

class  polybori::VariableFactory
 This base class VariableFactory is used for currying variable constructors with a BoolePolyRing. More...
 

Namespaces

namespace  polybori
 

Detailed Description

Author
Alexander Dreyer
Date
2011-05-05

This file defines the base class VariableFactory which is used for currying the constructors of BooleVariable with a BoolePolyRing.

Copyright:
(c) by The PolyBoRi Team