Trait DepthInitialiser 

pub trait DepthInitialiser<const FORWARD: bool> {
    // Required method
    fn collect<'n, T: Iterator<Item = &'n Node>>(
        &mut self,
        _node: &Node,
        from_all: impl Fn() -> T,
    ) -> Depth;

    // Provided methods
    fn base(&mut self, _node: &Node, _parser: &Z3Parser) -> Depth { ... }
    fn reset(&mut self) { ... }
}

Required Methods

fn collect<'n, T: Iterator<Item = &'n Node>>( &mut self, _node: &Node, from_all: impl Fn() -> T, ) -> Depth

Provided Methods

fn base(&mut self, _node: &Node, _parser: &Z3Parser) -> Depth

The starting value for a node.

fn reset(&mut self)

Called between initialisations of different subgraphs.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<const FORWARD: bool> DepthInitialiser<FORWARD> for DefaultDepth<FORWARD>