Skip to main content

AtomicFact

Enum AtomicFact

pub enum AtomicFact {
Show 32 variants
    NormalAtomicFact(NormalAtomicFact),
    EqualFact(EqualFact),
    LessFact(LessFact),
    GreaterFact(GreaterFact),
    LessEqualFact(LessEqualFact),
    GreaterEqualFact(GreaterEqualFact),
    IsSetFact(IsSetFact),
    IsNonemptySetFact(IsNonemptySetFact),
    IsFiniteSetFact(IsFiniteSetFact),
    InFact(InFact),
    IsCartFact(IsCartFact),
    IsTupleFact(IsTupleFact),
    SubsetFact(SubsetFact),
    SupersetFact(SupersetFact),
    RestrictFact(RestrictFact),
    NotRestrictFact(NotRestrictFact),
    NotNormalAtomicFact(NotNormalAtomicFact),
    NotEqualFact(NotEqualFact),
    NotLessFact(NotLessFact),
    NotGreaterFact(NotGreaterFact),
    NotLessEqualFact(NotLessEqualFact),
    NotGreaterEqualFact(NotGreaterEqualFact),
    NotIsSetFact(NotIsSetFact),
    NotIsNonemptySetFact(NotIsNonemptySetFact),
    NotIsFiniteSetFact(NotIsFiniteSetFact),
    NotInFact(NotInFact),
    NotIsCartFact(NotIsCartFact),
    NotIsTupleFact(NotIsTupleFact),
    NotSubsetFact(NotSubsetFact),
    NotSupersetFact(NotSupersetFact),
    FnEqualInFact(FnEqualInFact),
    FnEqualFact(FnEqualFact),
}

Variants§

NormalAtomicFact(NormalAtomicFact)

EqualFact(EqualFact)

LessFact(LessFact)

GreaterFact(GreaterFact)

LessEqualFact(LessEqualFact)

GreaterEqualFact(GreaterEqualFact)

IsSetFact(IsSetFact)

IsNonemptySetFact(IsNonemptySetFact)

IsFiniteSetFact(IsFiniteSetFact)

InFact(InFact)

IsCartFact(IsCartFact)

IsTupleFact(IsTupleFact)

SubsetFact(SubsetFact)

SupersetFact(SupersetFact)

RestrictFact(RestrictFact)

NotRestrictFact(NotRestrictFact)

NotNormalAtomicFact(NotNormalAtomicFact)

NotEqualFact(NotEqualFact)

NotLessFact(NotLessFact)

NotGreaterFact(NotGreaterFact)

NotLessEqualFact(NotLessEqualFact)

NotGreaterEqualFact(NotGreaterEqualFact)

NotIsSetFact(NotIsSetFact)

NotIsNonemptySetFact(NotIsNonemptySetFact)

NotIsFiniteSetFact(NotIsFiniteSetFact)

NotInFact(NotInFact)

NotIsCartFact(NotIsCartFact)

NotIsTupleFact(NotIsTupleFact)

NotSubsetFact(NotSubsetFact)

NotSupersetFact(NotSupersetFact)

FnEqualInFact(FnEqualInFact)

FnEqualFact(FnEqualFact)

Implementations§

impl AtomicFact

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

impl AtomicFact

pub fn is_true(&self) -> bool

pub fn key(&self) -> String

pub fn transposed_binary_order_equivalent(&self) -> Option<Self>

pub fn symmetric_reordered_args(&self, gather: &[usize]) -> Option<Self>

impl AtomicFact

pub fn to_atomic_fact( prop_name: AtomicName, is_true: bool, args: Vec<Obj>, line_file: LineFile, ) -> Result<AtomicFact, RuntimeError>

impl AtomicFact

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

impl AtomicFact

pub fn is_builtin_predicate_and_return_expected_args_len(&self) -> usize

impl AtomicFact

pub fn number_of_args(&self) -> usize

pub fn line_file(&self) -> LineFile

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

impl AtomicFact

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

impl AtomicFact

pub fn make_reversed(&self) -> AtomicFact

impl AtomicFact

pub fn calculate_args(&self) -> (AtomicFact, bool)

impl AtomicFact

pub fn to_latex_string(&self) -> String

Trait Implementations§

impl Clone for AtomicFact

fn clone(&self) -> AtomicFact

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Display for AtomicFact

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

Formats the value using the given formatter. Read more

impl From<AtomicFact> for AndChainAtomicFact

fn from(atomic_fact: AtomicFact) -> Self

Converts to this type from the input type.

impl From<AtomicFact> for ExistBodyFact

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

fn from(atomic_fact: AtomicFact) -> Self

Converts to this type from the input type.

impl From<AtomicFact> for OrAndChainAtomicFact

fn from(atomic_fact: AtomicFact) -> Self

Converts to this type from the input type.

impl From<EqualFact> for AtomicFact

fn from(f: EqualFact) -> Self

Converts to this type from the input type.

impl From<FnEqualFact> for AtomicFact

fn from(f: FnEqualFact) -> Self

Converts to this type from the input type.

impl From<FnEqualInFact> for AtomicFact

fn from(f: FnEqualInFact) -> Self

Converts to this type from the input type.

impl From<GreaterEqualFact> for AtomicFact

fn from(f: GreaterEqualFact) -> Self

Converts to this type from the input type.

impl From<GreaterFact> for AtomicFact

fn from(f: GreaterFact) -> Self

Converts to this type from the input type.

impl From<InFact> for AtomicFact

fn from(f: InFact) -> Self

Converts to this type from the input type.

impl From<IsCartFact> for AtomicFact

fn from(f: IsCartFact) -> Self

Converts to this type from the input type.

impl From<IsFiniteSetFact> for AtomicFact

fn from(f: IsFiniteSetFact) -> Self

Converts to this type from the input type.

impl From<IsNonemptySetFact> for AtomicFact

fn from(f: IsNonemptySetFact) -> Self

Converts to this type from the input type.

impl From<IsSetFact> for AtomicFact

fn from(f: IsSetFact) -> Self

Converts to this type from the input type.

impl From<IsTupleFact> for AtomicFact

fn from(f: IsTupleFact) -> Self

Converts to this type from the input type.

impl From<LessEqualFact> for AtomicFact

fn from(f: LessEqualFact) -> Self

Converts to this type from the input type.

impl From<LessFact> for AtomicFact

fn from(f: LessFact) -> Self

Converts to this type from the input type.

impl From<NormalAtomicFact> for AtomicFact

fn from(f: NormalAtomicFact) -> Self

Converts to this type from the input type.

impl From<NotEqualFact> for AtomicFact

fn from(f: NotEqualFact) -> Self

Converts to this type from the input type.

impl From<NotGreaterEqualFact> for AtomicFact

fn from(f: NotGreaterEqualFact) -> Self

Converts to this type from the input type.

impl From<NotGreaterFact> for AtomicFact

fn from(f: NotGreaterFact) -> Self

Converts to this type from the input type.

impl From<NotInFact> for AtomicFact

fn from(f: NotInFact) -> Self

Converts to this type from the input type.

impl From<NotIsCartFact> for AtomicFact

fn from(f: NotIsCartFact) -> Self

Converts to this type from the input type.

impl From<NotIsFiniteSetFact> for AtomicFact

fn from(f: NotIsFiniteSetFact) -> Self

Converts to this type from the input type.

impl From<NotIsNonemptySetFact> for AtomicFact

fn from(f: NotIsNonemptySetFact) -> Self

Converts to this type from the input type.

impl From<NotIsSetFact> for AtomicFact

fn from(f: NotIsSetFact) -> Self

Converts to this type from the input type.

impl From<NotIsTupleFact> for AtomicFact

fn from(f: NotIsTupleFact) -> Self

Converts to this type from the input type.

impl From<NotLessEqualFact> for AtomicFact

fn from(f: NotLessEqualFact) -> Self

Converts to this type from the input type.

impl From<NotLessFact> for AtomicFact

fn from(f: NotLessFact) -> Self

Converts to this type from the input type.

impl From<NotNormalAtomicFact> for AtomicFact

fn from(f: NotNormalAtomicFact) -> Self

Converts to this type from the input type.

impl From<NotRestrictFact> for AtomicFact

fn from(f: NotRestrictFact) -> Self

Converts to this type from the input type.

impl From<NotSubsetFact> for AtomicFact

fn from(f: NotSubsetFact) -> Self

Converts to this type from the input type.

impl From<NotSupersetFact> for AtomicFact

fn from(f: NotSupersetFact) -> Self

Converts to this type from the input type.

impl From<RestrictFact> for AtomicFact

fn from(f: RestrictFact) -> Self

Converts to this type from the input type.

impl From<SubsetFact> for AtomicFact

fn from(f: SubsetFact) -> Self

Converts to this type from the input type.

impl From<SupersetFact> for AtomicFact

fn from(f: SupersetFact) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

impl Freeze for AtomicFact

impl RefUnwindSafe for AtomicFact

impl !Send for AtomicFact

impl !Sync for AtomicFact

impl Unpin for AtomicFact

impl UnsafeUnpin for AtomicFact

impl UnwindSafe for AtomicFact

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.