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