|
PolyBoRi
|
#include <polybori/pbori_defs.h>#include <polybori/routines/pbori_algo.h>#include <polybori/BoolePolynomial.h>#include "CBidirectTermIter.h"#include <algorithm>#include "CStackSelector.h"#include "CTermGenerator.h"Go to the source code of this file.
Namespaces | |
| polybori | |
This file defines an iterator, which respects the current ordering.
1.8.9.1