Struct EqualFact 

pub struct EqualFact {
    pub left: Obj,
    pub right: Obj,
    pub line_file: LineFile,
}

Fields

left: Obj

right: Obj

line_file: LineFile

Implementations

impl EqualFact

pub fn new(left: Obj, right: Obj, line_file: LineFile) -> Self

impl EqualFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for EqualFact

fn clone(&self) -> EqualFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for EqualFact

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

Formats the value using the given formatter.

impl From<EqualFact> for AtomicFact

fn from(f: EqualFact) -> Self

Converts to this type from the input type.

impl From<EqualFact> for ExistBodyFact

fn from(equal_fact: EqualFact) -> Self

Converts to this type from the input type.

impl From<EqualFact> for ExistOrAndChainAtomicFact

fn from(f: EqualFact) -> Self

Converts to this type from the input type.

impl From<EqualFact> for Fact

fn from(f: EqualFact) -> Self

Converts to this type from the input type.

impl From<EqualFact> for OrAndChainAtomicFact

fn from(f: EqualFact) -> Self

Converts to this type from the input type.