Struct Enode 

pub struct Enode<'a> {
    pub children: &'a [Value],
    pub eclass: Value,
    pub subsumed: bool,
}

One enode from Read::constructor_enodes. Columns are raw Values; convert with Core::value_to_base / Core::value_to_container.

Fields

children: &'a [Value]

The constructor’s input columns.

eclass: Value

The eclass id this enode belongs to.

subsumed: bool

Whether this enode has been subsumed.

Trait Implementations

impl<'a> Clone for Enode<'a>

fn clone(&self) -> Enode<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for Enode<'a>

impl<'a> Debug for Enode<'a>

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

Formats the value using the given formatter.