#include "pbori_defs.h"
#include "BooleEnv.h"
#include "BoolePolynomial.h"
Go to the source code of this file.
Classes | |
class | polybori::BooleVariable |
This class is just a wrapper for using variables from cudd's decicion diagram. More... | |
Namespaces | |
namespace | polybori |
Functions | |
BoolePolynomial | polybori::operator/ (const BooleVariable &lhs, const BooleVariable &rhs) |
BooleVariable
, which can be used to access the boolean variables of the currently active Boolean polynomial ring.