Struct ProofFragmentStore 

pub struct ProofFragmentStore { /* private fields */ }

Proof fragment store

Implementations

impl ProofFragmentStore

pub fn new() -> Self

Create a new store

pub fn add(&mut self, fragment: ProofFragment) -> String

Add a fragment to the store

pub fn add_with_cid(&mut self, fragment: ProofFragment, cid: Cid) -> String

Add a fragment with CID

pub fn get(&self, id: &str) -> Option<&ProofFragment>

Get a fragment by ID

pub fn get_by_cid(&self, cid: &Cid) -> Option<&ProofFragment>

Get a fragment by CID

pub fn find_by_conclusion(&self, predicate_name: &str) -> Vec<&ProofFragment>

Find proofs for a conclusion predicate

pub fn fragment_ids(&self) -> Vec<&str>

Get all fragment IDs

pub fn len(&self) -> usize

Get fragment count

pub fn is_empty(&self) -> bool

Check if empty

pub fn remove(&mut self, id: &str) -> Option<ProofFragment>

Remove a fragment

pub fn clear(&mut self)

Clear all fragments

Trait Implementations

impl Default for ProofFragmentStore

fn default() -> Self

Returns the “default value” for a type.