Enum ProofSearchStrategy 

pub enum ProofSearchStrategy {
    DepthFirst {
        max_depth: usize,
    },
    BreadthFirst {
        max_depth: usize,
    },
    BestFirst {
        max_depth: usize,
    },
    IterativeDeepening {
        max_depth: usize,
    },
}

Proof search strategies for automated theorem proving.

Variants

DepthFirst

Depth-first search with backtracking

Fields

max_depth: usize

BreadthFirst

Breadth-first search

Fields

max_depth: usize

BestFirst

Best-first search with heuristic

Fields

max_depth: usize

IterativeDeepening

Iterative deepening

Fields

max_depth: usize

Trait Implementations

impl Clone for ProofSearchStrategy

fn clone(&self) -> ProofSearchStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofSearchStrategy

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

Formats the value using the given formatter.

impl PartialEq for ProofSearchStrategy

fn eq(&self, other: &ProofSearchStrategy) -> 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 Eq for ProofSearchStrategy

impl StructuralPartialEq for ProofSearchStrategy