Enum term_rewriting::Context

pub enum Context {
    Hole,
    Variable(Variable),
    Application {
        op: Operator,
        args: Vec<Context>,
    },
}

A first-order context: a Term that may have Holes.

Variants

Hole

An empty place in the Context.

Variable(Variable)

A concrete but unspecified Context (e.g. x, y)

Application

An Operator applied to zero or more Contexts (e.g. (f(x, y), g())

Fields of Application

op: Operator
args: Vec<Context>

Trait Implementations

impl Debug for Context

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

Formats the value using the given formatter.

impl PartialEq for Context

fn eq(&self, __arg_0: &Context) -> bool

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

fn ne(&self, __arg_0: &Context) -> bool

This method tests for !=.

impl Eq for Context

impl Hash for Context

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl Clone for Context

fn clone(&self) -> Context

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<Term> for Context

fn from(t: Term) -> Context

Performs the conversion.