Struct ProofChecker 

pub struct ProofChecker { /* private fields */ }

Proof checker for verifying proof derivations

Implementations

impl ProofChecker

pub fn new() -> Self

Create a new proof checker with default configuration

pub fn with_config(config: CheckerConfig) -> Self

Create a proof checker with custom configuration

pub fn reset(&mut self)

Reset the checker state

pub fn check_theory_proof(&mut self, proof: &TheoryProof) -> CheckResult

Check a theory proof

pub fn check_alethe_proof(&mut self, proof: &AletheProof) -> CheckResult

Check an Alethe proof

Trait Implementations

impl Debug for ProofChecker

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

Formats the value using the given formatter.

impl Default for ProofChecker

fn default() -> ProofChecker

Returns the “default value” for a type.