CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > Class Template Reference

for pure degree stacks More...

#include <CTermStack.h>

Inheritance diagram for CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >:
CTermStack< NavigatorType, Category, BaseType > CTermStackBase< NavigatorType, BaseType >

List of all members.

Public Types

typedef CTermStack
< NavigatorType, Category,
BaseType > 
base
typedef NavigatorType navigator
 Get type of navigators.
typedef cached_deg< navigator >
::manager_type 
manager_type

Public Member Functions

 CDegStackCore ()
 CDegStackCore (navigator navi, const manager_type &mgr)
void gotoEnd ()

Public Attributes

cached_deg< navigatorgetDeg

Detailed Description

template<class NavigatorType, class Category, class BaseType>
class CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >

for pure degree stacks


Member Typedef Documentation

template<class NavigatorType , class Category , class BaseType >
typedef CTermStack<NavigatorType, Category, BaseType> CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::base
template<class NavigatorType , class Category , class BaseType >
typedef cached_deg<navigator>::manager_type CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::manager_type
template<class NavigatorType , class Category , class BaseType >
typedef NavigatorType CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::navigator

Get type of navigators.

Reimplemented from CTermStack< NavigatorType, Category, BaseType >.


Constructor & Destructor Documentation

template<class NavigatorType , class Category , class BaseType >
CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::CDegStackCore (  )  [inline]
template<class NavigatorType , class Category , class BaseType >
CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::CDegStackCore ( navigator  navi,
const manager_type mgr 
) [inline]

Member Function Documentation

template<class NavigatorType , class Category , class BaseType >
void CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::gotoEnd (  )  [inline]

Member Data Documentation

template<class NavigatorType , class Category , class BaseType >
cached_deg<navigator> CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >::getDeg

The documentation for this class was generated from the following file:
Generated on Thu Aug 5 12:57:30 2010 for PolyBoRi by  doxygen 1.6.3