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 polybori::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> polybori::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> polybori::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 polybori::CTermStack< NavigatorType, Category, BaseType >, polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >, and polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.
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 >
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>
template<class NavigatorType , class BaseType = internal_tag>
default Copy Constructor
Equality test (assume iterators from same instance)
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>
template<class NavigatorType , class BaseType = internal_tag>
template<class NavigatorType , class BaseType = internal_tag>
template<class NavigatorType , class BaseType = internal_tag>
Get navigator of stack start.
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>
template<class NavigatorType , class BaseType = internal_tag>
template<class NavigatorType , class BaseType = internal_tag>
template<class NavigatorType , class BaseType = internal_tag>
Friends And Related Function Documentation
template<class NavigatorType , class BaseType = internal_tag>
The documentation for this class was generated from the following file: