#include "pbori_defs.h"#include "pbori_func.h"#include "CTermStack.h"#include <iterator>Go to the source code of this file.
Classes | |
| class | polybori::CStackSelector< OrderType, NaviType, BaseType > |
Namespaces | |
| namespace | polybori |
This file defines the template class CStackSelector, whose only use is to generate the correct (term-)stack type for a given ordering.
1.6.2