#include <rule_queue.hpp>
List of all members.
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
class RuleQueue< T, PartialOrder, Equivalence >
Member Typedef Documentation
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
Member Function Documentation
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
void RuleQueue< T, PartialOrder, Equivalence >::Dump |
( |
| ) |
[inline] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
bool RuleQueue< T, PartialOrder, Equivalence >::empty |
( |
| ) |
[inline] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
bool RuleQueue< T, PartialOrder, Equivalence >::erase |
( |
const T & |
x | ) |
[inline] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
void RuleQueue< T, PartialOrder, Equivalence >::insert |
( |
const T & |
x | ) |
[inline] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
Member Data Documentation
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
std::vector< T> RuleQueue< T, PartialOrder, Equivalence >::_items [protected] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
std::vector< T> RuleQueue< T, PartialOrder, Equivalence >::_top [protected] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
PartialOrder RuleQueue< T, PartialOrder, Equivalence >::comp [protected] |
template<typename T, typename PartialOrder = std::less< T>, typename Equivalence = std::equal_to< T>>
Equivalence RuleQueue< T, PartialOrder, Equivalence >::eqiv [protected] |
The documentation for this class was generated from the following file: