Enum ExistBodyFact 

pub enum ExistBodyFact {
    AtomicFact(AtomicFact),
    AndFact(AndFact),
    ChainFact(ChainFact),
    OrFact(OrFact),
    InlineForall(ForallFact),
}

Variants

AtomicFact(AtomicFact)

AndFact(AndFact)

ChainFact(ChainFact)

OrFact(OrFact)

InlineForall(ForallFact)

Implementations

impl ExistBodyFact

pub fn key(&self) -> String

pub fn line_file(&self) -> LineFile

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

pub fn to_fact(self) -> Fact

pub fn from_ref_to_cloned_fact(&self) -> Fact

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

impl ExistBodyFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for ExistBodyFact

fn clone(&self) -> ExistBodyFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for ExistBodyFact

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

Formats the value using the given formatter.

impl From<AtomicFact> for ExistBodyFact

fn from(atomic_fact: AtomicFact) -> 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<OrAndChainAtomicFact> for ExistBodyFact

fn from(fact: OrAndChainAtomicFact) -> Self

Converts to this type from the input type.