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)

The Variable variant of an Atom.

Examples

let mut sig = Signature::default();
let x = sig.new_var(Some("x".to_string()));
let atom = Atom::Variable(x);

assert_eq!(atom.display(), "x_");

Operator(Operator)

The Operator variant of an Atom.

Examples

let mut sig = Signature::default();
let a = sig.new_op(0, Some("A".to_string()));
let atom = Atom::Operator(a);

assert_eq!(atom.display(), "A");

Methods

impl Atom

pub fn display(&self) -> String

Serialize an Atom.

Examples

let mut sig = Signature::default();

let a = sig.new_op(0, Some("A".to_string()));
let atom = Atom::Operator(a);

assert_eq!(atom.display(), "A");

let x = sig.new_var(Some("x".to_string()));
let atom = Atom::Variable(x);

assert_eq!(atom.display(), "x_");

Trait Implementations

impl PartialEq<Atom> 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 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.

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 Eq for Atom

impl Debug for Atom

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

Formats the value using the given formatter.