Trait varisat_checker::internal::SelfChecker

pub trait SelfChecker {
    fn self_check_step(
        &mut self, 
        step: ProofStep<'_>
    ) -> Result<(), CheckerError>;
    fn self_check_delayed_steps(&mut self) -> Result<(), CheckerError>;
}

Varisat internal interface used for on-the-fly checking.

This should only be used within other Varisat crates. It is not considered part of the public API and may change at any time.

Required methods

fn self_check_step(&mut self, step: ProofStep<'_>) -> Result<(), CheckerError>

fn self_check_delayed_steps(&mut self) -> Result<(), CheckerError>

Loading content...

Implementors

impl<'a> SelfChecker for Checker<'a>

fn self_check_step(&mut self, step: ProofStep<'_>) -> Result<(), CheckerError>

fn self_check_delayed_steps(&mut self) -> Result<(), CheckerError>

Loading content...