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