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

pub fn to_fact(&self) -> Fact

pub fn to_exist_or_and_chain_atomic_fact(&self) -> ExistOrAndChainAtomicFact

impl AndChainAtomicFact

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

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.