Struct Matches

struct Matches {
    inner: HashMap<u32, Match>,
    matched_targets: HashSet<u32>,
}

The successful matching result of two Graphs.

Fields

inner: HashMap<u32, Match>

The mapping from source fragment id to target fragment id.

matched_targets: HashSet<u32>

The set of target fragment ids that are already matched.

Implementations

impl Matches

fn new() -> Self

Creates a new empty match result.

fn target(&self, u: u32) -> Option<u32>

Returns the target fragment id of a source fragment id.

fn len(&self) -> usize

Returns the number of matched fragments.

fn matched(&self, u: u32) -> bool

Returns true if the source fragment is already matched.

fn target_matched(&self, v: u32) -> bool

Returns true if the target fragment is already matched.

fn try_match(&mut self, u: &Fragment, v: &Fragment) -> Result<(), Error>

Tries to match a source fragment to a target fragment. If successful, they will be recorded in the match result.

This will check the operators and internal tables of the fragment.

fn undo_match(&mut self, u: u32)

Undoes the match of a source fragment.

fn into_table_mapping(self) -> HashMap<u32, u32>

Converts the match result into a table mapping.