Enum term_rewriting::Atom

pub enum Atom {
    Variable(Variable),
    Operator(Operator),
}

Atoms are the parts of a TRS that are not constructed from smaller parts: Variables and Operators.

Variants

Variable(Variable)Operator(Operator)

Methods

impl Atom

pub fn display(&self, sig: &Signature) -> String

Trait Implementations

impl Debug for Atom

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

Formats the value using the given formatter.

impl Copy for Atom

impl Clone for Atom

fn clone(&self) -> Atom

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Atom

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

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

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

This method tests for !=.

impl Eq for Atom

impl From<Variable> for Atom

fn from(var: Variable) -> Atom

Performs the conversion.

impl From<Operator> for Atom

fn from(op: Operator) -> Atom

Performs the conversion.