Enum Term 

pub enum Term {
    Var(String),
    Atom(String),
    Placeholder,
}

A single term in a Datalog predicate.

Variables start with an uppercase letter (e.g. X, Name), atoms start with a lowercase letter (e.g. alice, edge), and _ is the anonymous placeholder that matches anything without binding.

Variants

Var(String)

A named variable (e.g. X).

Atom(String)

A ground constant (e.g. alice).

Placeholder

The anonymous wildcard _.

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl PartialEq for Term

fn eq(&self, other: &Term) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Term

impl StructuralPartialEq for Term