Struct EClass

pub struct EClass { /* private fields */ }

An EClass entry. Contains either a single new enode and a child eclass (i.e., adds one new enode), or unions two child eclasses together.

Implementations

impl EClass

pub fn get_node(&self) -> Option<NodeKey>

Get the node, if any, from a node-only or node-and-child eclass.

pub fn child1(&self) -> Option<Id>

Get the first child, if any.

pub fn child2(&self) -> Option<Id>

Get the second child, if any.

pub fn as_node(&self) -> Option<NodeKey>

If this EClass is just a lone enode, return it.

pub fn as_node_and_child(&self) -> Option<(NodeKey, Id)>

If this EClass is one new enode and a child, return the node and child ID.

pub fn as_union(&self) -> Option<(Id, Id)>

If this EClass is the union variety, return the two child EClasses. Both are guaranteed not to be Id::invalid().

Trait Implementations

impl Clone for EClass

fn clone(&self) -> EClass

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EClass

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

Formats the value using the given formatter.

impl Copy for EClass