Struct AndFact 

pub struct AndFact {
    pub facts: Vec<AtomicFact>,
    pub line_file: LineFile,
}

Fields

facts: Vec<AtomicFact>

line_file: LineFile

Implementations

impl AndFact

pub fn new(facts: Vec<AtomicFact>, line_file: LineFile) -> Self

pub fn line_file(&self) -> LineFile

impl AndFact

pub fn key(&self) -> String

pub fn get_args_from_fact(&self) -> Vec<Obj>

impl AndFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for AndFact

fn clone(&self) -> AndFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for AndFact

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

Formats the value using the given formatter.

impl From<AndFact> for ExistOrAndChainAtomicFact

fn from(a: AndFact) -> Self

Converts to this type from the input type.

impl From<AndFact> for Fact

fn from(and_fact: AndFact) -> Self

Converts to this type from the input type.