Enum AndChainAtomicFact 

pub enum AndChainAtomicFact {
    AtomicFact(AtomicFact),
    AndFact(AndFact),
    ChainFact(ChainFact),
}

Variants

AtomicFact(AtomicFact)

AndFact(AndFact)

ChainFact(ChainFact)

Implementations

impl AndChainAtomicFact

pub fn line_file(&self) -> LineFile

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

impl AndChainAtomicFact

pub fn key(&self) -> String

impl AndChainAtomicFact

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

impl AndChainAtomicFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for AndChainAtomicFact

fn clone(&self) -> AndChainAtomicFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for AndChainAtomicFact

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

Formats the value using the given formatter.

impl From<AndChainAtomicFact> for ExistOrAndChainAtomicFact

fn from(f: AndChainAtomicFact) -> Self

Converts to this type from the input type.

impl From<AndChainAtomicFact> for Fact

fn from(f: AndChainAtomicFact) -> Self

Converts to this type from the input type.

impl From<AtomicFact> for AndChainAtomicFact

fn from(atomic_fact: AtomicFact) -> Self

Converts to this type from the input type.

impl From<GreaterEqualFact> for AndChainAtomicFact

fn from(f: GreaterEqualFact) -> Self

Converts to this type from the input type.