Struct OrFact 

pub struct OrFact {
    pub facts: Vec<AndChainAtomicFact>,
    pub line_file: LineFile,
}

Fields

facts: Vec<AndChainAtomicFact>

line_file: LineFile

Implementations

impl OrFact

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

impl OrFact

pub fn key(&self) -> String

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

impl OrFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for OrFact

fn clone(&self) -> OrFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for OrFact

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

Formats the value using the given formatter.

impl From<OrFact> for ExistOrAndChainAtomicFact

fn from(o: OrFact) -> Self

Converts to this type from the input type.

impl From<OrFact> for Fact

fn from(or_fact: OrFact) -> Self

Converts to this type from the input type.