Enum Fact 

pub enum Fact {
    AtomicFact(AtomicFact),
    ExistFact(ExistFactEnum),
    OrFact(OrFact),
    AndFact(AndFact),
    ChainFact(ChainFact),
    ForallFact(ForallFact),
    ForallFactWithIff(ForallFactWithIff),
    NotForall(NotForallFact),
}

Variants

AtomicFact(AtomicFact)

ExistFact(ExistFactEnum)

OrFact(OrFact)

AndFact(AndFact)

ChainFact(ChainFact)

ForallFact(ForallFact)

ForallFactWithIff(ForallFactWithIff)

NotForall(NotForallFact)

Implementations

impl Fact

pub fn fact_type_string(&self) -> String

impl Fact

pub fn line_file(&self) -> LineFile

pub fn with_line_file(self, line_file: LineFile) -> Self

pub fn into_stmt(self) -> Stmt

impl Fact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fact

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

Formats the value using the given formatter.

impl Display for Fact

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

Formats the value using the given formatter.

impl From<AndChainAtomicFact> for Fact

fn from(f: AndChainAtomicFact) -> Self

Converts to this type from the input type.

impl From<AndFact> for Fact

fn from(and_fact: AndFact) -> Self

Converts to this type from the input type.

impl From<AtomicFact> for Fact

fn from(atomic_fact: AtomicFact) -> Self

Converts to this type from the input type.

impl From<ChainFact> for Fact

fn from(chain_fact: ChainFact) -> Self

Converts to this type from the input type.

impl From<EqualFact> for Fact

fn from(f: EqualFact) -> Self

Converts to this type from the input type.

impl From<ExistFactEnum> for Fact

fn from(exist_fact: ExistFactEnum) -> Self

Converts to this type from the input type.

impl From<Fact> for Stmt

fn from(v: Fact) -> Self

Converts to this type from the input type.

impl From<FnEqualFact> for Fact

fn from(f: FnEqualFact) -> Self

Converts to this type from the input type.

impl From<FnEqualInFact> for Fact

fn from(f: FnEqualInFact) -> Self

Converts to this type from the input type.

impl From<ForallFact> for Fact

fn from(forall_fact: ForallFact) -> Self

Converts to this type from the input type.

impl From<ForallFactWithIff> for Fact

fn from(forall_fact_with_iff: ForallFactWithIff) -> Self

Converts to this type from the input type.

impl From<GreaterEqualFact> for Fact

fn from(f: GreaterEqualFact) -> Self

Converts to this type from the input type.

impl From<GreaterFact> for Fact

fn from(f: GreaterFact) -> Self

Converts to this type from the input type.

impl From<InFact> for Fact

fn from(f: InFact) -> Self

Converts to this type from the input type.

impl From<IsCartFact> for Fact

fn from(f: IsCartFact) -> Self

Converts to this type from the input type.

impl From<IsFiniteSetFact> for Fact

fn from(f: IsFiniteSetFact) -> Self

Converts to this type from the input type.

impl From<IsNonemptySetFact> for Fact

fn from(f: IsNonemptySetFact) -> Self

Converts to this type from the input type.

impl From<IsSetFact> for Fact

fn from(f: IsSetFact) -> Self

Converts to this type from the input type.

impl From<IsTupleFact> for Fact

fn from(f: IsTupleFact) -> Self

Converts to this type from the input type.

impl From<LessEqualFact> for Fact

fn from(f: LessEqualFact) -> Self

Converts to this type from the input type.

impl From<LessFact> for Fact

fn from(f: LessFact) -> Self

Converts to this type from the input type.

impl From<NormalAtomicFact> for Fact

fn from(f: NormalAtomicFact) -> Self

Converts to this type from the input type.

impl From<NotEqualFact> for Fact

fn from(f: NotEqualFact) -> Self

Converts to this type from the input type.

impl From<NotForallFact> for Fact

fn from(not_forall_fact: NotForallFact) -> Self

Converts to this type from the input type.

impl From<NotGreaterEqualFact> for Fact

fn from(f: NotGreaterEqualFact) -> Self

Converts to this type from the input type.

impl From<NotGreaterFact> for Fact

fn from(f: NotGreaterFact) -> Self

Converts to this type from the input type.

impl From<NotInFact> for Fact

fn from(f: NotInFact) -> Self

Converts to this type from the input type.

impl From<NotIsCartFact> for Fact

fn from(f: NotIsCartFact) -> Self

Converts to this type from the input type.

impl From<NotIsFiniteSetFact> for Fact

fn from(f: NotIsFiniteSetFact) -> Self

Converts to this type from the input type.

impl From<NotIsNonemptySetFact> for Fact

fn from(f: NotIsNonemptySetFact) -> Self

Converts to this type from the input type.

impl From<NotIsSetFact> for Fact

fn from(f: NotIsSetFact) -> Self

Converts to this type from the input type.

impl From<NotIsTupleFact> for Fact

fn from(f: NotIsTupleFact) -> Self

Converts to this type from the input type.

impl From<NotLessEqualFact> for Fact

fn from(f: NotLessEqualFact) -> Self

Converts to this type from the input type.

impl From<NotLessFact> for Fact

fn from(f: NotLessFact) -> Self

Converts to this type from the input type.

impl From<NotNormalAtomicFact> for Fact

fn from(f: NotNormalAtomicFact) -> Self

Converts to this type from the input type.

impl From<NotRestrictFact> for Fact

fn from(f: NotRestrictFact) -> Self

Converts to this type from the input type.

impl From<NotSubsetFact> for Fact

fn from(f: NotSubsetFact) -> Self

Converts to this type from the input type.

impl From<NotSupersetFact> for Fact

fn from(f: NotSupersetFact) -> 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.

impl From<OrFact> for Fact

fn from(or_fact: OrFact) -> Self

Converts to this type from the input type.

impl From<RestrictFact> for Fact

fn from(f: RestrictFact) -> Self

Converts to this type from the input type.

impl From<SubsetFact> for Fact

fn from(f: SubsetFact) -> Self

Converts to this type from the input type.

impl From<SupersetFact> for Fact

fn from(f: SupersetFact) -> Self

Converts to this type from the input type.