PolyBoRi
|
#include "BooleMonomial.h"
#include "BooleVariable.h"
#include "BooleExponent.h"
#include "BooleEnv.h"
#include "OrderedManager.h"
Namespaces | |
namespace | polybori |
Functions | |
BooleMonomial::bool_type | polybori::greater_variable (BooleMonomial::idx_type lhs, BooleMonomial::idx_type rhs) |
Checks whether BooleVariable(lhs) > BooleVariable(rhs) |
This file implements the class BoolePolymials, where carries the definition of monomials over Booleans.