pub struct GraphMatcher { /* private fields */ }
Expand description

| \brief Main graph matcher interface. | | This class solves a problem of finding | a matching subgraph, which is specified in | a text form.

Implementations§

source§

impl GraphMatcher

source

pub fn init_from_string(&mut self, str: *const u8)

| @brief | | Initialize subgraph pattern from \p | | STR. |

source

pub fn init_from_file(&mut self, fname: *const u8)

| ———– | @brief | | Initialize subgraph patter from IR | stored in file \p fname. |

source

pub fn find_subgraph(&mut self, df: &mut NNGraph) -> bool

| @brief | | Try to find the pattern in the given graph | \p DF and return true if it was found. |

source

pub fn replace_subgraph_with(&mut self)

| ———– | @brief | | Replace the found subgraph with another | one. |

source

pub fn get_matcher_graph(&mut self) -> *mut TestMatchGraph

\brief Return the matcher graph.

source

pub fn get_matcher(&mut self) -> TestMatchGraph_NodeRef

| TODO: Do we need this, or can we get it | from getMatcherGraph? |

source

pub fn get_match_map(&self) -> HashMap<String, NNGraph_NodeRef>

| @brief | | Return a mapping from IR variable name | (std::string) to Node in the matched | graph. |

source

pub fn does_match(&mut self, df: &mut NNGraph) -> bool

source

pub fn gen_matcher_from_astexpr( &mut self, expr: *mut ASTExpr, insert_temp: Option<bool> ) -> TestMatchGraph_NodeRef

source

pub fn gen_matcher_from_aststmt( &mut self, stmt: *mut ASTStmt ) -> TestMatchGraph_NodeRef

source

pub fn gen_matcher_from_astgraph( &mut self, ast: *mut ASTGraph ) -> TestMatchGraph_NodeRef

source

pub fn gen_matcher_from_irfile( &mut self, fname: *const u8 ) -> TestMatchGraph_NodeRef

source

pub fn gen_matcher_from_irstr( &mut self, str: *const u8 ) -> TestMatchGraph_NodeRef

source

pub fn get_matches<T, U>(&self, df: &mut NNGraph) -> Vec<MatchedSubgraph<T, U>>

\brief Returns a vector of matches.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> Pointable for T

§

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V