Struct ProofStore 

pub struct ProofStore { /* private fields */ }

A hash-cons store for proofs and terms related to an egglog program.

Implementations

impl ProofStore

pub fn print_term_proof_pretty( &self, term_pf: TermProofId, config: &PrettyPrintConfig, writer: &mut impl Write, ) -> Result<()>

Print a term proof with pretty-printing configuration.

pub fn print_eq_proof_pretty( &self, eq_pf: EqProofId, config: &PrettyPrintConfig, writer: &mut impl Write, ) -> Result<()>

Print an equality proof with pretty-printing configuration.

pub fn print_eq_proof( &self, eq_pf: EqProofId, writer: &mut impl Write, ) -> Result<()>

Print the equality proof in a human-readable format to the given writer.

pub fn print_term_proof( &self, term_pf: TermProofId, writer: &mut impl Write, ) -> Result<()>

Print the term proof in a human-readable format to the given writer.

Trait Implementations

impl Clone for ProofStore

fn clone(&self) -> ProofStore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for ProofStore

fn default() -> ProofStore

Returns the “default value” for a type.