Enum syntaxdot_encoders::lemma::EditTree

pub enum EditTree {
    MatchNode {
        pre: usize,
        suf: usize,
        left: Option<Box<EditTree>>,
        right: Option<Box<EditTree>>,
    },
    ReplaceNode {
        replacee: Vec<char>,
        replacement: Vec<char>,
    },
}

Enum representing a TreeNode of an Graph<TreeNode<T>,Place>.

Variants

MatchNode

Fields of MatchNode

pre: usizesuf: usizeleft: Option<Box<EditTree>>right: Option<Box<EditTree>>

ReplaceNode

Fields of ReplaceNode

replacee: Vec<char>replacement: Vec<char>

Implementations

impl EditTree

pub fn create_tree(a: &[char], b: &[char]) -> Option<Self>

Returns a edit tree specifying how to derive b from a.

Caution: when using with stringy types. UTF-8 multi byte chars will not be treated well. Consider passing in &char instead.

pub fn apply(&self, form: &[char]) -> Option<Vec<char>>

Recursively applies the nodes stored in the edit tree. Returns None if the tree is not applicable to form.

Trait Implementations

impl Clone for EditTree

fn clone(&self) -> EditTree

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EditTree

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EditTree

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Eq for EditTree

impl Hash for EditTree

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<EditTree> for EditTree

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

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

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

This method tests for !=.

impl Serialize for EditTree

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl StructuralEq for EditTree

impl StructuralPartialEq for EditTree