Struct Deffacts 

pub struct Deffacts {
    pub name: String,
    pub facts: Vec<FactInstance>,
    pub description: Option<String>,
}

A named set of initial facts (deffacts)

Fields

name: String

Name of this deffacts set

facts: Vec<FactInstance>

Collection of initial facts

description: Option<String>

Optional description

Implementations

impl Deffacts

pub fn new(name: impl Into<String>) -> Self

Create a new deffacts set

pub fn add_fact(&mut self, fact_type: impl Into<String>, data: TypedFacts)

Add a fact to this deffacts set

pub fn set_description(&mut self, description: impl Into<String>)

Set the description

pub fn fact_count(&self) -> usize

Get the number of facts

pub fn is_empty(&self) -> bool

Check if this deffacts is empty

Trait Implementations

impl Clone for Deffacts

fn clone(&self) -> Deffacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Deffacts

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

Formats the value using the given formatter.