Enum prolog_parser::ast::Term

pub enum Term {
    AnonVar,
    Clause(Cell<RegType>, ClauseName, Vec<Box<Term>>, Option<SharedOpDesc>),
    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<SharedOpDesc>)

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

Constant(Cell<RegType>, Constant)

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

Implementations

impl Term

pub fn shared_op_desc(&self) -> Option<SharedOpDesc>

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

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

pub fn set_name(&mut self, new_name: ClauseName)

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 Debug for Term

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

Formats the value using the given formatter.

impl Eq for Term

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 StructuralEq for Term

impl StructuralPartialEq for Term