Enum term_rewriting::trace::TraceState

pub enum TraceState {
    Unobserved,
    TooBig,
    Normal,
    Rewritten,
}

The state of a Term at a particular evaluation step in a Trace.

Variants

Unobserved

For a TraceNode which is part of the Trace but has not yet itself been examined or rewritten.

TooBig

For a TraceNode which has been examined and found to have a Term too large for efficient rewriting.

Normal

For a TraceNode which has been examined and whose Term is already in normal form.

Rewritten

For a TraceNode which has been examined and is no longer a leaf node.

Trait Implementations

impl Copy for TraceState

impl PartialEq<TraceState> for TraceState

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

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

#[must_use]

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

This method tests for !=.

impl Clone for TraceState

fn clone(&self) -> TraceState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for TraceState

impl Debug for TraceState

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

Formats the value using the given formatter.

impl Hash for TraceState

fn hash<__H: Hasher>(&self, state: &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].