#include <COrderedIter.h>
template<class NavigatorType, class MonomType>
Extract plain Boolean type.
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
Fix type of direct iterator.
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
Type for functional, which generates actual term, for current path.
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
Check, whether end of iteration is reached.
template<class NavigatorType, class MonomType>
Determine whether term is one (without explicit constructing)
template<class NavigatorType, class MonomType>
Determine whether term is zero (without explicit constructing)
template<class NavigatorType, class MonomType>
Get navigator of term start.
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
template<class NavigatorType, class MonomType>
The functional which defines the dereferecing operation.
template<class NavigatorType, class MonomType>
A shared pointer to the stack, which carries the current path.
The documentation for this class was generated from the following file: