Struct ProverData 

pub struct ProverData {
    pub prover_name: String,
    pub logic: String,
    pub is_complete: bool,
    pub is_sound: bool,
    pub search_strategy: SearchStrategyNew,
}

Fields

prover_name: String

logic: String

is_complete: bool

is_sound: bool

search_strategy: SearchStrategyNew

Implementations

impl ProverData

pub fn resolution_prover() -> Self

pub fn tableau_prover() -> Self

pub fn new_heuristic(name: &str, logic: &str, hint: &str) -> Self

pub fn completeness_theorem(&self) -> String

pub fn superposition_calculus_description(&self) -> String

Trait Implementations

impl Clone for ProverData

fn clone(&self) -> ProverData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProverData

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

Formats the value using the given formatter.