Enum fall::Term [−][src]
A term, e.g. even(X)
, 30
, foo
, or Bar
.
Variants
Lit(Lit)
A literal value, e.g. foo
, bar(1, 2)
, or baz(X, a, X)
.
Num(u32)
A numeric literal, e.g. 0
, 42
, or 137
.
Var(usize)
A variable. Each variable is globally unified against, so the actual resolution procedure will "freshen" a clause before running it by replacing its variables with fresh ones.
Methods
impl Term
[src]
impl Term
Trait Implementations
impl Clone for Term
[src]
impl Clone for Term
fn clone(&self) -> Term
[src]
fn clone(&self) -> Term
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Debug for Term
[src]
impl Debug for Term
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Eq for Term
[src]
impl Eq for Term
impl Hash for Term
[src]
impl Hash for Term
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Ord for Term
[src]
impl Ord for Term
fn cmp(&self, other: &Term) -> Ordering
[src]
fn cmp(&self, other: &Term) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
impl PartialEq for Term
[src]
impl PartialEq for Term
fn eq(&self, other: &Term) -> bool
[src]
fn eq(&self, other: &Term) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Term) -> bool
[src]
fn ne(&self, other: &Term) -> bool
This method tests for !=
.
impl PartialOrd for Term
[src]
impl PartialOrd for Term
fn partial_cmp(&self, other: &Term) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &Term) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &Term) -> bool
[src]
fn lt(&self, other: &Term) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &Term) -> bool
[src]
fn le(&self, other: &Term) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &Term) -> bool
[src]
fn gt(&self, other: &Term) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &Term) -> bool
[src]
fn ge(&self, other: &Term) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Display for Term
[src]
impl Display for Term