orx_tree/traversal/post_order/traverser.rs
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
use super::states::States;
use crate::traversal::{
over::{Over, OverData},
Traverser,
};
use core::marker::PhantomData;
/// A post order traverser ([Wikipedia](https://en.wikipedia.org/wiki/Tree_traversal#Post-order,_LRN)).
///
/// A traverser can be created once and used to traverse over trees multiple times without
/// requiring additional memory allocation.
///
/// # Construction
///
/// A post order traverser can be created,
/// * either by using Default trait and providing its two generic type parameters
/// * `PostOrder::<_, OverData>::default()` or `PostOrder::<_, OverDepthSiblingIdxData>::default()`, or
/// * `PostOrder::<Dyn<u64>, OverData>::default()` or `PostOrder::<Dary<2, String>, OverDepthSiblingIdxData>::default()`
/// if we want the complete type signature.
/// * or by using the [`Traversal`] type.
/// * `Traversal.post_order()` or `Traversal.post_order().with_depth().with_sibling_idx()`.
///
/// [`Traversal`]: crate::Traversal
pub struct PostOrder<O = OverData>
where
O: Over,
{
pub(super) states: States,
phantom: PhantomData<O>,
}
impl Default for PostOrder {
fn default() -> Self {
Self::new()
}
}
impl<O> Traverser<O> for PostOrder<O>
where
O: Over,
{
type IntoOver<O2>
= PostOrder<O2>
where
O2: Over;
fn new() -> Self {
Self {
states: Default::default(),
phantom: PhantomData,
}
}
fn transform_into<O2: Over>(self) -> Self::IntoOver<O2> {
PostOrder {
states: self.states,
phantom: PhantomData,
}
}
}