Aleph::TraverseMixin< Derived, Type > Class Template Reference

CRTP Mixin providing traversal operations. More...

#include <ah-dry-mixin.H>

Inheritance diagram for Aleph::TraverseMixin< Derived, Type >:

Public Member Functions
template<class Operation > requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>
bool	traverse (Operation &operation) const
	Traverse all elements, applying an operation to each.
template<class Operation > requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>
bool	traverse (Operation &operation)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
template<class Operation > requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>
bool	traverse (Operation and operation=Operation()) const
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
template<class Operation > requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>
bool	traverse (Operation and operation=Operation())
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Protected Member Functions
const Derived &	self () const noexcept
	Access the derived class (const version).
Derived &	self () noexcept
	Access the derived class (mutable version).

Detailed Description

template<typename Derived, typename Type>
class Aleph::TraverseMixin< Derived, Type >

CRTP Mixin providing traversal operations.

This mixin adds the traverse() method to containers, which is the foundation for all other functional operations.

Template Parameters

Derived	The derived container class (CRTP pattern).
Type	The element type stored in the container.

Requirements

The derived class must provide:

• Iterator nested type
• get_it() method returning an Iterator

Author

Leandro Rabindranath León

Definition at line 116 of file ah-dry-mixin.H.

Member Function Documentation

self() [1/2]

template<typename Derived , typename Type >

const Derived & Aleph::TraverseMixin< Derived, Type >::self ( ) const

inlineprotectednoexcept

Access the derived class (const version).

Definition at line 120 of file ah-dry-mixin.H.

References Aleph::blossom_maximum_cardinality_matching().

Referenced by Aleph::TraverseMixin< Derived, Type >::traverse(), and Aleph::TraverseMixin< Derived, Type >::traverse().

self() [2/2]

template<typename Derived , typename Type >

Derived & Aleph::TraverseMixin< Derived, Type >::self ( )

inlineprotectednoexcept

Access the derived class (mutable version).

Definition at line 126 of file ah-dry-mixin.H.

References Aleph::blossom_maximum_cardinality_matching().

traverse() [1/4]

template<typename Derived , typename Type >

template<class Operation >
requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>

bool Aleph::TraverseMixin< Derived, Type >::traverse ( Operation &  operation )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Definition at line 179 of file ah-dry-mixin.H.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::TraverseMixin< Derived, Type >::self().

traverse() [2/4]

template<typename Derived , typename Type >

template<class Operation >
requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>

bool Aleph::TraverseMixin< Derived, Type >::traverse ( Operation &  operation ) const

inline

Traverse all elements, applying an operation to each.

Iterates through all elements in the container, calling the operation on each element. The traversal stops early if the operation returns false.

Template Parameters

Operation

Callable type with signature bool(const Type&) or bool(Type&).

Parameters

operation

The operation to apply to each element.

Returns

true if all elements were visited (operation always returned true), false if traversal was stopped early.

Complexity

O(n) where n is the number of elements.

Example

DynList<int> list = {1, 2, 3, 4, 5};
 
// Print all elements
list.traverse([](const int& x) {
  std::cout << x << " ";
  return true;  // continue
});
 
// Find first even number (stops early)
int found = 0;
list.traverse([&found](const int& x) {
  if (x % 2 == 0) {
    found = x;
    return false;  // stop
  }
  return true;
});

Definition at line 168 of file ah-dry-mixin.H.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::TraverseMixin< Derived, Type >::self().

Referenced by TEST(), TEST(), and TEST().

traverse() [3/4]

template<typename Derived , typename Type >

template<class Operation >
requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>

bool Aleph::TraverseMixin< Derived, Type >::traverse ( Operation and  operation = Operation() )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Definition at line 199 of file ah-dry-mixin.H.

References Aleph::blossom_maximum_cardinality_matching().

traverse() [4/4]

template<typename Derived , typename Type >

template<class Operation >
requires PredicateWith<Operation &, typename concepts_detail::traverse_arg<Derived, Operation>::type>

bool Aleph::TraverseMixin< Derived, Type >::traverse ( Operation and  operation = Operation() ) const

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Version accepting rvalue operation (temporary lambdas).

Definition at line 191 of file ah-dry-mixin.H.

References Aleph::blossom_maximum_cardinality_matching().

---

The documentation for this class was generated from the following file:

• ah-dry-mixin.H