Struct StreamingProofBuilder 

pub struct StreamingProofBuilder { /* private fields */ }

Streaming proof builder for incremental construction.

Implementations

impl StreamingProofBuilder

pub fn new() -> Self

Create a new streaming proof builder.

pub fn with_config(config: StreamConfig) -> Self

Create with custom configuration.

pub fn add_axiom(&mut self, conclusion: &str) -> ProofNodeId

Add an axiom to the stream.

pub fn add_inference( &mut self, rule: &str, premises: Vec<ProofNodeId>, conclusion: &str, ) -> ProofNodeId

Add an inference to the stream.

pub fn flush(&mut self) -> Proof

Flush accumulated nodes and get the current proof.

pub fn len(&self) -> usize

Get the number of nodes in the stream.

pub fn is_empty(&self) -> bool

Check if the stream is empty.

Trait Implementations

impl Default for StreamingProofBuilder

fn default() -> Self

Returns the “default value” for a type.