pub struct BranchResolver<'a> { /* private fields */ }Expand description
Resolver for finding and recovering lost branches.
The resolver analyzes a trajectory DAG and state machine to find branches that exist in the data but are not actively tracked or have become inaccessible.
§Algorithm
- Discovery: Find all paths in the DAG that aren’t part of active branches
- Scoring: Rank branches by potential value (length, depth, content)
- Strategy: Suggest recovery strategies for each branch
- Recovery: Execute the chosen recovery strategy
§Example
ⓘ
let resolver = BranchResolver::new(&machine);
// Find all recoverable branches
let lost = resolver.find_recoverable_branches();
for branch in lost {
println!("Found lost branch at {:?} with {} nodes",
branch.fork_point, branch.nodes.len());
// Recover using suggested strategy
resolver.recover(&mut machine, &branch)?;
}Implementations§
Source§impl<'a> BranchResolver<'a>
impl<'a> BranchResolver<'a>
Sourcepub fn new(machine: &'a BranchStateMachine) -> Self
pub fn new(machine: &'a BranchStateMachine) -> Self
Create a new resolver for a state machine.
Sourcepub fn find_recoverable_branches(&self) -> Vec<RecoverableBranch>
pub fn find_recoverable_branches(&self) -> Vec<RecoverableBranch>
Find all branches that could be recovered.
This analyzes the DAG to find paths that aren’t actively tracked in the state machine.
Sourcepub fn find_unselected_regenerations(&self) -> Vec<RecoverableBranch>
pub fn find_unselected_regenerations(&self) -> Vec<RecoverableBranch>
Find branches created by regeneration that weren’t selected.
Sourcepub fn recover(
&self,
machine: &mut BranchStateMachine,
recoverable: &RecoverableBranch,
) -> Result<BranchId, BranchError>
pub fn recover( &self, machine: &mut BranchStateMachine, recoverable: &RecoverableBranch, ) -> Result<BranchId, BranchError>
Recover a lost branch using its suggested strategy.
Auto Trait Implementations§
impl<'a> Freeze for BranchResolver<'a>
impl<'a> RefUnwindSafe for BranchResolver<'a>
impl<'a> Send for BranchResolver<'a>
impl<'a> Sync for BranchResolver<'a>
impl<'a> Unpin for BranchResolver<'a>
impl<'a> UnwindSafe for BranchResolver<'a>
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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
Source§impl<F, W, T, D> Deserialize<With<T, W>, D> for F
impl<F, W, T, D> Deserialize<With<T, W>, D> for F
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Gets the layout of the type.