Struct HeuristicFn 

pub struct HeuristicFn {
    pub name: String,
}

A heuristic function: estimates the distance from a proof state to a complete proof.

Fields

name: String

Human-readable name of the heuristic.

Implementations

impl HeuristicFn

pub fn new(name: impl Into<String>) -> Self

Create a named heuristic.

pub fn estimate(&self, state: &ProofState) -> usize

Estimate: simply return the number of remaining goals.

Trait Implementations

impl Clone for HeuristicFn

fn clone(&self) -> HeuristicFn

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HeuristicFn

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

Formats the value using the given formatter.