Enum ExistOrAndChainAtomicFact 

pub enum ExistOrAndChainAtomicFact {
    AtomicFact(AtomicFact),
    AndFact(AndFact),
    ChainFact(ChainFact),
    OrFact(OrFact),
    ExistFact(ExistFactEnum),
}

Variants

AtomicFact(AtomicFact)

AndFact(AndFact)

ChainFact(ChainFact)

OrFact(OrFact)

ExistFact(ExistFactEnum)

Implementations

impl ExistOrAndChainAtomicFact

pub fn to_fact(self) -> Fact

pub fn line_file(&self) -> LineFile

impl ExistOrAndChainAtomicFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for ExistOrAndChainAtomicFact

fn clone(&self) -> ExistOrAndChainAtomicFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for ExistOrAndChainAtomicFact

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<AndFact> for ExistOrAndChainAtomicFact

fn from(a: AndFact) -> Self

Converts to this type from the input type.

impl From<AtomicFact> for ExistOrAndChainAtomicFact

fn from(atomic_fact: AtomicFact) -> Self

Converts to this type from the input type.

impl From<ChainFact> for ExistOrAndChainAtomicFact

fn from(c: ChainFact) -> 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<ExistFactEnum> for ExistOrAndChainAtomicFact

fn from(exist_fact: ExistFactEnum) -> Self

Converts to this type from the input type.

impl From<GreaterEqualFact> for ExistOrAndChainAtomicFact

fn from(f: GreaterEqualFact) -> Self

Converts to this type from the input type.

impl From<InFact> for ExistOrAndChainAtomicFact

fn from(f: InFact) -> Self

Converts to this type from the input type.

impl From<IsNonemptySetFact> for ExistOrAndChainAtomicFact

fn from(f: IsNonemptySetFact) -> 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<OrFact> for ExistOrAndChainAtomicFact

fn from(o: OrFact) -> Self

Converts to this type from the input type.