#include "pbori_defs.h"
#include "CDDManager.h"
Go to the source code of this file.
Classes | |
class | polybori::BooleRing |
This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings. More... | |
Namespaces | |
namespace | polybori |
This file the class BooleRing, where carries the definition of a polynomial ring over Booleans.