Struct ProofFragment 

pub struct ProofFragment {
    pub id: String,
    pub conclusion: Predicate,
    pub rule_applied: Option<RuleRef>,
    pub premise_refs: Vec<ProofFragmentRef>,
    pub substitution: Vec<(String, Term)>,
    pub metadata: ProofMetadata,
}

A proof fragment that can be stored as IPLD

Fields

id: String

Unique identifier for this fragment

conclusion: Predicate

The conclusion proved by this fragment

rule_applied: Option<RuleRef>

The rule applied (if any)

premise_refs: Vec<ProofFragmentRef>

References to premise proof fragments

substitution: Vec<(String, Term)>

Substitution used in this proof step (serialized as term pairs)

metadata: ProofMetadata

Metadata about this fragment

Implementations

impl ProofFragment

pub fn fact(conclusion: Predicate) -> Self

Create a new proof fragment for a fact (no premises)

pub fn with_rule( conclusion: Predicate, rule: &Rule, premises: Vec<ProofFragmentRef>, substitution: Vec<(String, Term)>, ) -> Self

Create a proof fragment with a rule application

pub fn is_fact(&self) -> bool

Check if this is a leaf (fact) proof

pub fn premise_count(&self) -> usize

Get the number of premises

pub fn to_proof(&self, subproofs: Vec<Proof>) -> Proof

Convert to a full Proof (requires all premises to be resolved)

Trait Implementations

impl Clone for ProofFragment

fn clone(&self) -> ProofFragment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofFragment

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofFragment

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofFragment

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.