Enum IrTerm 

pub enum IrTerm {
    Variable(Spur),
    Constant(Spur),
    Description(Spur),
    Unspecified,
    Number(f64),
}

The atomic arguments of a predicate.

Variants

Variable(Spur)

A bound logic variable (a $-prefixed name, e.g. $x)

Constant(Spur)

A named constant entity (a Name like Adam, or a pronoun constant)

Description(Spur)

An entity described by a predicate (some dog / the dog)

Unspecified

An explicitly unspecified argument (_ or an omitted place)

Number(f64)

Numeric literal.

Trait Implementations

impl Clone for IrTerm

fn clone(&self) -> IrTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrTerm

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

Formats the value using the given formatter.

impl PartialEq for IrTerm

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IrTerm