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