Skip to main content

LocalizedConstraintGraphVisitor

Trait LocalizedConstraintGraphVisitor 

Source
pub(super) trait LocalizedConstraintGraphVisitor {
    // Provided methods
    fn on_node_traversed(&mut self, _loan: BorrowIndex, _node: LocalizedNode) { ... }
    fn on_successor_discovered(
        &mut self,
        _current_node: LocalizedNode,
        _successor: LocalizedNode,
    ) { ... }
}
Expand description

The visitor interface when traversing a LocalizedConstraintGraph.

Provided Methods§

Source

fn on_node_traversed(&mut self, _loan: BorrowIndex, _node: LocalizedNode)

Callback called when traversing a given loan encounters a localized node it hasn’t visited before.

Source

fn on_successor_discovered( &mut self, _current_node: LocalizedNode, _successor: LocalizedNode, )

Callback called when discovering a new successor node for the current_node.

Implementors§