PolyBoRi
|
#include <polybori/BooleMonomial.h>
#include <polybori/BooleVariable.h>
#include <polybori/BooleExponent.h>
#include <polybori/BooleEnv.h>
#include <polybori/orderings/COrderingBase.h>
Namespaces | |
polybori | |
This file implements the class BoolePolymials, where carries the definition of monomials over Booleans.