Struct omnitigs::hydrostructure::incremental_hydrostructure::vapor_is_path_tracker::VaporIsPathTracker
source · pub struct VaporIsPathTracker<'a, Graph> { /* private fields */ }
Expand description
A structure to dynamically track if the vapor is a path. This structure takes O(|Edges|) time to construct and offers an O(1) query if the subgraph is a path. Inserting and removing each node and edge of the graph once in any order takes O(|Edges|) time.
All runtimes assume that the endpoints of an edge can be retrieved in O(1).
Implementations§
source§impl<'a, Graph: StaticGraph + SubgraphBase> VaporIsPathTracker<'a, Graph>
impl<'a, Graph: StaticGraph + SubgraphBase> VaporIsPathTracker<'a, Graph>
sourcepub fn contains_node(&self, node: <Graph as GraphBase>::NodeIndex) -> bool
pub fn contains_node(&self, node: <Graph as GraphBase>::NodeIndex) -> bool
Returns true if the given node is in the subgraph.
sourcepub fn contains_edge(&self, edge: <Graph as GraphBase>::EdgeIndex) -> bool
pub fn contains_edge(&self, edge: <Graph as GraphBase>::EdgeIndex) -> bool
Returns true if the given edge is in the subgraph.
sourcepub fn remove_node(&mut self, node: <Graph as GraphBase>::NodeIndex)
pub fn remove_node(&mut self, node: <Graph as GraphBase>::NodeIndex)
Remove a node from the subgraph.
sourcepub fn remove_edge(&mut self, edge: <Graph as GraphBase>::EdgeIndex)
pub fn remove_edge(&mut self, edge: <Graph as GraphBase>::EdgeIndex)
Remove an edge from the subgraph.
Trait Implementations§
source§impl<'a, Graph: ImmutableGraphContainer + SubgraphBase> Debug for VaporIsPathTracker<'a, Graph>where
Graph::NodeIndex: Debug,
Graph::EdgeIndex: Debug,
<Graph as SubgraphBase>::RootGraph: ImmutableGraphContainer,
impl<'a, Graph: ImmutableGraphContainer + SubgraphBase> Debug for VaporIsPathTracker<'a, Graph>where Graph::NodeIndex: Debug, Graph::EdgeIndex: Debug, <Graph as SubgraphBase>::RootGraph: ImmutableGraphContainer,
source§impl<'a, Graph: StaticGraph + SubgraphBase> IncrementalSafetyTracker<'a, Graph> for VaporIsPathTracker<'a, Graph>where
<Graph as SubgraphBase>::RootGraph: ImmutableGraphContainer,
impl<'a, Graph: StaticGraph + SubgraphBase> IncrementalSafetyTracker<'a, Graph> for VaporIsPathTracker<'a, Graph>where <Graph as SubgraphBase>::RootGraph: ImmutableGraphContainer,
source§fn is_safe(&self, is_forward_univocal: bool, is_backward_univocal: bool) -> bool
fn is_safe(&self, is_forward_univocal: bool, is_backward_univocal: bool) -> bool
Returns true if the subgraph is a path. Empty graphs are not counted as paths.
source§fn new_with_empty_subgraph(graph: &'a Graph) -> Self
fn new_with_empty_subgraph(graph: &'a Graph) -> Self
Creates a new instance keeping the hydrostructure components empty.
source§fn reset(
&mut self,
r_plus: &IncrementalSubgraph<'_, Graph>,
r_minus: &IncrementalSubgraph<'_, Graph>
)
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.
source§fn add_incremental_subgraph_step(
&mut self,
r_plus: &IncrementalSubgraph<'_, Graph>,
r_minus: &IncrementalSubgraph<'_, Graph>
)
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.
source§fn remove_incremental_subgraph_step(
&mut self,
_r_plus: &IncrementalSubgraph<'_, Graph>,
r_minus: &IncrementalSubgraph<'_, Graph>
)
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.
source§fn does_safety_equal_bridge_like() -> bool
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.Auto Trait Implementations§
impl<'a, Graph> RefUnwindSafe for VaporIsPathTracker<'a, Graph>where Graph: RefUnwindSafe,
impl<'a, Graph> Send for VaporIsPathTracker<'a, Graph>where Graph: Sync,
impl<'a, Graph> Sync for VaporIsPathTracker<'a, Graph>where Graph: Sync,
impl<'a, Graph> Unpin for VaporIsPathTracker<'a, Graph>
impl<'a, Graph> UnwindSafe for VaporIsPathTracker<'a, Graph>where Graph: RefUnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Conv for T
impl<T> Conv for T
§impl<T> FmtForward for T
impl<T> FmtForward for T
§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where Self: Binary,
Causes
self
to use its Binary
implementation when Debug
-formatted.§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where Self: Display,
Causes
self
to use its Display
implementation when
Debug
-formatted.§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where Self: LowerExp,
Causes
self
to use its LowerExp
implementation when
Debug
-formatted.§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where Self: LowerHex,
Causes
self
to use its LowerHex
implementation when
Debug
-formatted.§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where Self: Octal,
Causes
self
to use its Octal
implementation when Debug
-formatted.§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where Self: Pointer,
Causes
self
to use its Pointer
implementation when
Debug
-formatted.§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where Self: UpperExp,
Causes
self
to use its UpperExp
implementation when
Debug
-formatted.§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where Self: UpperHex,
Causes
self
to use its UpperHex
implementation when
Debug
-formatted.§fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
fn fmt_list(self) -> FmtList<Self>where &'a Self: for<'a> IntoIterator,
Formats each item in a sequence. Read more
§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere T: ?Sized,
§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere R: 'a,
Borrows
self
and passes that borrow into the pipe function. Read more§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere R: 'a,
Mutably borrows
self
and passes that borrow into the pipe function. Read more§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere
Self: Borrow<B>,
B: 'a + ?Sized,
R: 'a,
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere Self: Borrow<B>, B: 'a + ?Sized, R: 'a,
§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> Rwhere
Self: BorrowMut<B>,
B: 'a + ?Sized,
R: 'a,
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> Rwhere Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,
§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere
Self: AsRef<U>,
U: 'a + ?Sized,
R: 'a,
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere Self: AsRef<U>, U: 'a + ?Sized, R: 'a,
Borrows
self
, then passes self.as_ref()
into the pipe function.§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere
Self: AsMut<U>,
U: 'a + ?Sized,
R: 'a,
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere Self: AsMut<U>, U: 'a + ?Sized, R: 'a,
Mutably borrows
self
, then passes self.as_mut()
into the pipe
function.§impl<T> Tap for T
impl<T> Tap for T
§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Selfwhere
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Selfwhere Self: Borrow<B>, B: ?Sized,
Immutable access to the
Borrow<B>
of a value. Read more§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere Self: BorrowMut<B>, B: ?Sized,
Mutable access to the
BorrowMut<B>
of a value. Read more§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Selfwhere
Self: AsRef<R>,
R: ?Sized,
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Selfwhere Self: AsRef<R>, R: ?Sized,
Immutable access to the
AsRef<R>
view of a value. Read more§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere
Self: AsMut<R>,
R: ?Sized,
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere Self: AsMut<R>, R: ?Sized,
Mutable access to the
AsMut<R>
view of a value. Read more§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Selfwhere
Self: Deref<Target = T>,
T: ?Sized,
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Selfwhere Self: Deref<Target = T>, T: ?Sized,
Immutable access to the
Deref::Target
of a value. Read more§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere
Self: DerefMut<Target = T> + Deref,
T: ?Sized,
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere Self: DerefMut<Target = T> + Deref, T: ?Sized,
Mutable access to the
Deref::Target
of a value. Read more§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap()
only in debug builds, and is erased in release builds.§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut()
only in debug builds, and is erased in release
builds.§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Selfwhere
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Selfwhere Self: Borrow<B>, B: ?Sized,
Calls
.tap_borrow()
only in debug builds, and is erased in release
builds.§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere Self: BorrowMut<B>, B: ?Sized,
Calls
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Selfwhere
Self: AsRef<R>,
R: ?Sized,
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Selfwhere Self: AsRef<R>, R: ?Sized,
Calls
.tap_ref()
only in debug builds, and is erased in release
builds.§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere
Self: AsMut<R>,
R: ?Sized,
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere Self: AsMut<R>, R: ?Sized,
Calls
.tap_ref_mut()
only in debug builds, and is erased in release
builds.