Struct LemmaDoc 

pub struct LemmaDoc {
    pub name: String,
    pub source: Option<String>,
    pub start_line: usize,
    pub commentary: Option<String>,
    pub facts: Vec<LemmaFact>,
    pub rules: Vec<LemmaRule>,
}

A Lemma document containing facts, rules

Fields

name: String

source: Option<String>

start_line: usize

commentary: Option<String>

facts: Vec<LemmaFact>

rules: Vec<LemmaRule>

Implementations

impl LemmaDoc

pub fn new(name: String) -> Self

pub fn with_source(self, source: String) -> Self

pub fn with_start_line(self, start_line: usize) -> Self

pub fn set_commentary(self, commentary: String) -> Self

pub fn add_fact(self, fact: LemmaFact) -> Self

pub fn add_rule(self, rule: LemmaRule) -> Self

pub fn get_fact_type(&self, fact_ref: &FactReference) -> Option<LemmaType>

Get the expected type for a fact by path Returns None if the fact is not found in this document or if the fact is a document reference

Trait Implementations

impl Clone for LemmaDoc

fn clone(&self) -> LemmaDoc

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LemmaDoc

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

Formats the value using the given formatter.

impl Display for LemmaDoc

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

Formats the value using the given formatter.

impl PartialEq for LemmaDoc

fn eq(&self, other: &LemmaDoc) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LemmaDoc