COrderedIter.h File Reference

#include "pbori_defs.h"
#include "pbori_algo.h"
#include "BoolePolynomial.h"
#include "OrderedManager.h"
#include "CDelayedTermIter.h"
#include "CBidirectTermIter.h"
#include <algorithm>
#include "CStackSelector.h"
#include "CTermGenerator.h"

Go to the source code of this file.

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-09-06

This file defines an iterator, which respects the current ordering.

Copyright:

(c) 2006 by The PolyBoRi Team