Struct omnitigs::hydrostructure::incremental_hydrostructure::conjunctive_safety_tracker::ConjunctiveSafetyTracker

pub struct ConjunctiveSafetyTracker<SafetyTracker1, SafetyTracker2> { /* fields omitted */ }

An incremental safety tracker that tracks safety using the conjunction of two other safety trackers.

Trait Implementations

impl<'a, Graph: GraphBase, SafetyTracker1: IncrementalSafetyTracker<'a, Graph>, SafetyTracker2: IncrementalSafetyTracker<'a, Graph>> IncrementalSafetyTracker<'a, Graph> for ConjunctiveSafetyTracker<SafetyTracker1, SafetyTracker2>

fn new_with_empty_subgraph(graph: &'a Graph) -> Self

Creates a new instance keeping the hydrostructure components empty.

fn clear(&mut self)

Remove all nodes and edges from the hydrostructure components.

fn reset(
    &mut self,
    r_plus: &IncrementalSubgraph<'_, Graph>,
    r_minus: &IncrementalSubgraph<'_, Graph>
)

Reset the state of the safety tracker to the current state of the hydrostructure.

fn add_incremental_subgraph_step(
    &mut self,
    r_plus: &IncrementalSubgraph<'_, Graph>,
    r_minus: &IncrementalSubgraph<'_, Graph>
)

Add the nodes and edges from the current step of r_plus.

fn remove_incremental_subgraph_step(
    &mut self,
    r_plus: &IncrementalSubgraph<'_, Graph>,
    r_minus: &IncrementalSubgraph<'_, Graph>
)

Remove the nodes and edges from the current step of r_minus.

fn is_safe(&self, is_forward_univocal: bool, is_backward_univocal: bool) -> bool

Returns true if the safety tracker indicates that the current subwalk is safe.

fn does_safety_equal_bridge_like() -> bool

May return true if the is_safe function returns true if and only if a subwalk is bridge-like. It is not required to return true for all types, but for types where it does return true the equivalence above must hold.