Struct ProverStats 

pub struct ProverStats {
    pub clauses_generated: usize,
    pub resolution_steps: usize,
    pub tautologies_removed: usize,
    pub clauses_subsumed: usize,
    pub empty_clause_found: bool,
}

Statistics for resolution proof search.

Fields

clauses_generated: usize

Total clauses generated

resolution_steps: usize

Resolution steps performed

tautologies_removed: usize

Tautologies removed

clauses_subsumed: usize

Clauses subsumed

empty_clause_found: bool

Empty clause found

Trait Implementations

impl Clone for ProverStats

fn clone(&self) -> ProverStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProverStats

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

Formats the value using the given formatter.

impl Default for ProverStats

fn default() -> ProverStats

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProverStats

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProverStats

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.