Enum prolog_parser::ast::Term

pub enum Term {
    AnonVar,
    Clause(Cell<RegType>, ClauseName, Vec<Box<Term>>, Option<(usize, Specifier)>),
    Cons(Cell<RegType>, Box<Term>, Box<Term>),
    Constant(Cell<RegType>, Constant),
    Var(Cell<VarReg>, Rc<Var>),
}

Variants

AnonVarClause(Cell<RegType>, ClauseName, Vec<Box<Term>>, Option<(usize, Specifier)>)Cons(Cell<RegType>, Box<Term>, Box<Term>)Constant(Cell<RegType>, Constant)Var(Cell<VarReg>, Rc<Var>)

Methods

impl Term

pub fn to_constant(self) -> Option<Constant>

pub fn first_arg(&self) -> Option<&Term>

pub fn name(&self) -> Option<ClauseName>

pub fn arity(&self) -> usize

Trait Implementations

impl PartialEq<Term> for Term

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Clone for Term

fn clone(&self) -> Term

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Term