Enum prolog_parser::ast::Term

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

Variants

AnonVar

Clause(Cell<RegType>, ClauseName, Vec<Box<Term>>, Option<Fixity>)

Cons(Cell<RegType>, Box<Term>, Box<Term>)

Constant(Cell<RegType>, Constant)

Var(Cell<VarReg>, Rc<Var>)

Implementations

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 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 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: &Rhs) -> bool

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

impl Eq for Term

impl StructuralEq for Term

impl StructuralPartialEq for Term