CTermStackBase< NavigatorType, BaseType > Class Template Reference
This class defines an iterator for the monomials in a Boolean polynomial.
More...
#include <CTermStack.h>
List of all members.
Detailed Description
template<class NavigatorType, class BaseType = internal_tag>
class CTermStackBase< NavigatorType, BaseType >
This class defines an iterator for the monomials in a Boolean polynomial.
Member Typedef Documentation
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
typedef boost::indirect_iterator<typename stack_type::const_iterator, typename navigator::value_type, boost::use_default, typename navigator::reference> CTermStackBase< NavigatorType, BaseType >::const_iterator |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
typedef boost::indirect_iterator<typename stack_type::const_reverse_iterator, typename navigator::value_type, boost::use_default, typename navigator::reference> CTermStackBase< NavigatorType, BaseType >::const_reverse_iterator |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
Get type of navigators.
Reimplemented in CTermStack< NavigatorType, Category, BaseType >, CReverseTermStack< NavigatorType, Category >, CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >, CDegStackCore< NavigatorType, valid_tag, Category, BaseType >, and CTermStack< NavigatorType, Category >.
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
Define type for stacking.
template<class NavigatorType, class BaseType = internal_tag>
Constructor & Destructor Documentation
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
Construct from initial navigator.
Member Function Documentation
template<class NavigatorType, class BaseType = internal_tag>
template<class TermStack >
void CTermStackBase< NavigatorType, BaseType >::append |
( |
const TermStack & |
rhs |
) |
[inline, protected] |
template<class NavigatorType, class BaseType = internal_tag>
bool CTermStackBase< NavigatorType, BaseType >::atBegin |
( |
|
) |
const [inline] |
Reimplemented in CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.
Referenced by CDegStackCore< NavigatorType, valid_tag, Category, BaseType >::next(), and CDegStackCore< NavigatorType, valid_tag, Category, BaseType >::previous().
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
bool CTermStackBase< NavigatorType, BaseType >::atEnd |
( |
|
) |
const [inline] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::clear |
( |
|
) |
[inline, protected] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::decrementNode |
( |
|
) |
[inline] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
Referenced by CTermStackBase< NavigatorType, internal_tag >::append(), CTermStackBase< NavigatorType, internal_tag >::atBegin(), CTermStackBase< NavigatorType, internal_tag >::clearOne(), CTermStack< NavigatorType, Category >::decrement(), CTermStackBase< NavigatorType, internal_tag >::decrementNode(), CTermStackBase< NavigatorType, internal_tag >::equal(), CTermStackBase< NavigatorType, internal_tag >::followThen(), CTermStack< NavigatorType, Category >::increment(), CTermStack< NavigatorType, Category >::incrementValidElse(), CTermStackBase< NavigatorType, internal_tag >::isConstant(), CTermStackBase< NavigatorType, internal_tag >::isInvalid(), CTermStackBase< NavigatorType, internal_tag >::isTerminated(), CTermStackBase< NavigatorType, internal_tag >::isZero(), CTermStackBase< NavigatorType, internal_tag >::markedOne(), CTermStackBase< NavigatorType, internal_tag >::markOne(), CTermStack< NavigatorType, Category >::next(), CDegStackCore< NavigatorType, valid_tag, Category, BaseType >::previous(), CTermStackBase< NavigatorType, internal_tag >::restart(), CTermStack< NavigatorType, Category >::terminate(), and CTermStackBase< NavigatorType, internal_tag >::top().
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
default Copy Constructor
Equality test (assume iterators from same instance)
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::followThen |
( |
|
) |
[inline] |
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::incrementElse |
( |
|
) |
[inline] |
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::incrementThen |
( |
|
) |
[inline] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::invalidate |
( |
|
) |
[inline] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
bool CTermStackBase< NavigatorType, BaseType >::isOne |
( |
|
) |
const [inline] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
bool CTermStackBase< NavigatorType, BaseType >::isZero |
( |
|
) |
const [inline] |
template<class NavigatorType, class BaseType = internal_tag>
Referenced by CTermStack< NavigatorType, Category >::decrement(), CTermStackBase< NavigatorType, internal_tag >::deg(), CTermStack< NavigatorType, Category >::increment(), CTermStackBase< NavigatorType, internal_tag >::isOne(), CTermStackBase< NavigatorType, internal_tag >::stackBegin(), and CTermStackBase< NavigatorType, internal_tag >::stackRBegin().
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
void CTermStackBase< NavigatorType, BaseType >::print |
( |
|
) |
const [inline] |
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
Referenced by CTermStackBase< NavigatorType, internal_tag >::append(), CTermStackBase< NavigatorType, internal_tag >::atEnd(), CTermStack< NavigatorType, Category >::incrementElse(), CTermStackBase< NavigatorType, internal_tag >::incrementThen(), CTermStack< NavigatorType, Category >::incrementValidElse(), CTermStackBase< NavigatorType, internal_tag >::index(), CTermStackBase< NavigatorType, internal_tag >::isConstant(), CTermStackBase< NavigatorType, internal_tag >::isInvalid(), CTermStackBase< NavigatorType, internal_tag >::isTerminated(), CDegStackCore< NavigatorType, valid_tag, Category, BaseType >::previous(), and CTermStackBase< NavigatorType, internal_tag >::validEnd().
template<class NavigatorType, class BaseType = internal_tag>
template<class NavigatorType, class BaseType = internal_tag>
bool CTermStackBase< NavigatorType, BaseType >::validEnd |
( |
|
) |
const [inline] |
Friends And Related Function Documentation
template<class NavigatorType, class BaseType = internal_tag>
The documentation for this class was generated from the following file: