Enum RecoveryFile

pub enum RecoveryFile {
    UseIfExists,
    Ignore,
    Require,
}

Determines recovery behaviour for Driver::recovery.

Typically you dont want to always recover from the last checkpoint file, only in cases where the iterative process was terminated or crashed. This entails having a recovery file location different to the checkpoint location, and some manual process to move/rename files from where they are written, to the recovery path location.

Item	Description
RecoveryFile::Ignore	Never recover from a checkpoint file.
RecoveryFile::Require	Checkpoint file must exist, error if missing. Probably useful only if set from a command line option or configuration. Used if the user manually wants to move a checkpoint file into the specified recovery file locatiton.
RecoveryFile::UseIfExists	Recover from checkpoint if the file exists, otherwise solve afresh. Perhaps a sensible default, but susceptible to typo’s in recovery filename, if the checkpoint file was manually moved/renamed.

Variants

UseIfExists

Ignore

Require

Trait Implementations

impl Clone for RecoveryFile

fn clone(&self) -> RecoveryFile

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RecoveryFile

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for RecoveryFile

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RecoveryFile

fn eq(&self, other: &RecoveryFile) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for RecoveryFile