#include "pbori_defs.h"#include <vector>Go to the source code of this file.
Classes | |
| class | polybori::BooleEnv |
| This class is just a wrapper accessing global structures. More... | |
Namespaces | |
| namespace | polybori |
Variables | |
| BoolePolyRing | polybori::active_ring = *new BoolePolyRing |
This file the class BooleEnv, where handles global (static) strucutres of PolyBoRi.
1.6.2