Enum OrAndChainAtomicFact 

pub enum OrAndChainAtomicFact {
    AtomicFact(AtomicFact),
    AndFact(AndFact),
    ChainFact(ChainFact),
    OrFact(OrFact),
}

Variants

AtomicFact(AtomicFact)

AndFact(AndFact)

ChainFact(ChainFact)

OrFact(OrFact)

Implementations

impl OrAndChainAtomicFact

pub fn replace_bound_identifier(self, from: &str, to: &str) -> Self

impl OrAndChainAtomicFact

pub fn key(&self) -> String

pub fn line_file(&self) -> LineFile

impl OrAndChainAtomicFact

pub fn from_ref_to_cloned_fact(&self) -> Fact

pub fn to_fact(self) -> Fact

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

impl OrAndChainAtomicFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for OrAndChainAtomicFact

fn clone(&self) -> OrAndChainAtomicFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for OrAndChainAtomicFact

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

Formats the value using the given formatter.

impl From<AtomicFact> for OrAndChainAtomicFact

fn from(atomic_fact: AtomicFact) -> 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.

impl From<GreaterEqualFact> for OrAndChainAtomicFact

fn from(f: GreaterEqualFact) -> Self

Converts to this type from the input type.

impl From<LessFact> for OrAndChainAtomicFact

fn from(f: LessFact) -> Self

Converts to this type from the input type.

impl From<OrAndChainAtomicFact> for ExistBodyFact

fn from(fact: OrAndChainAtomicFact) -> Self

Converts to this type from the input type.

impl From<OrAndChainAtomicFact> for ExistOrAndChainAtomicFact

fn from(f: OrAndChainAtomicFact) -> Self

Converts to this type from the input type.

impl From<OrAndChainAtomicFact> for Fact

fn from(f: OrAndChainAtomicFact) -> Self

Converts to this type from the input type.