#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.