Type Definition omnitigs::hydrostructure::incremental_hydrostructure::NodeBridgeLikeIncrementalHydrostructure

type NodeBridgeLikeIncrementalHydrostructure<'graph, 'walk, Graph> = IncrementalHydrostructure<'graph, 'walk, Graph, ConjunctiveSafetyTracker<VaporIsPathTracker<'graph, Graph>, NodeCentricComponentTracker>>;

An incremental hydrostructure that checks if the node sequence (including the tail of the last arc and the head of the first arc) of a subwalk is safe in the node-visible node-covering 1-closed walk model.