[−][src]Trait varisat::checker::ProofProcessor
Implement to process proof steps.
Required methods
fn process_step(
&mut self,
step: &CheckedProofStep<'_>,
data: CheckerData<'_, '_>
) -> Result<(), Error>
&mut self,
step: &CheckedProofStep<'_>,
data: CheckerData<'_, '_>
) -> Result<(), Error>