PolyBoRi
|
#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 |
This file defines the base class VariableFactory which is used for currying the constructors of BooleVariable
with a BoolePolyRing.