Skip to main content

ProofStats

oxiz_proof::proof

Struct ProofStats

pub struct ProofStats {
    pub total_nodes: usize,
    pub axiom_count: usize,
    pub inference_count: usize,
    pub max_depth: u32,
    pub avg_depth: f64,
    pub root_count: usize,
    pub max_premises: usize,
    pub avg_premises: f64,
    pub leaf_count: usize,
}

Expand description

Statistics about a proof

Fields§

§total_nodes: usize

Total number of nodes

§axiom_count: usize

Number of axiom nodes

§inference_count: usize

Number of inference nodes

§max_depth: u32

Maximum depth in the proof tree

§avg_depth: f64

Average depth

§root_count: usize

Number of root nodes

§max_premises: usize

Maximum number of premises for a single inference

§avg_premises: f64

Average number of premises per inference

§leaf_count: usize

Number of nodes with no dependents (leaves)

Trait Implementations§

impl Clone for ProofStats

fn clone(&self) -> ProofStats

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for ProofStats

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

Formats the value using the given formatter. Read more

impl Display for ProofStats

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

Formats the value using the given formatter. Read more

impl Copy for ProofStats

Auto Trait Implementations§

impl Freeze for ProofStats

impl RefUnwindSafe for ProofStats

impl Send for ProofStats

impl Sync for ProofStats

impl Unpin for ProofStats

impl UnsafeUnpin for ProofStats

impl UnwindSafe for ProofStats

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.