pub enum TransformPatternMatchType {
CONNECTED_SUBGRAPH,
SORTED_WRT_EXECUTION_ORDER,
GENERAL,
}
Expand description
| Determines the type of subgraphs that | | PatternMatch will find. | | CONNECTED_SUBGRAPH will only match | subgraphs that are connected. | | These subgraphs satisfy that every | node of the match is connected to the | subgraph of the nodes that come before | it. | | For example, in the graph (1) –> (2) | –> (3) –> (4), | | This is capable of matching the subgraph | [2, 3] and [4, 3] | | This is not capable of matching the subgraph | [2, 4]. | | SORTED_WRT_EXECUTION_ORDER will | match subgraphs that guarantee sorted | execution order. | | The nodes don’t have to be connected. | It is faster than General. | | For example, in the graph (1) –> (2) | –> (3) –> (4), | | This is capable of matching the subgraph | [2, 4], [3, 4]. | | This is not capable of matching the subgraph | [3, 1], [4, 3]. | | GENERAL can match any subgraph. | | For example, in the graph (1) –> (2) | –> (3) –> (4), | | This is capable of matching subgraphs | [2, 4], [3, 4], [4, 2, 1]. | | There is no ordered subgraph of G that | cannot be matched by this. |
Variants§
Auto Trait Implementations§
impl RefUnwindSafe for TransformPatternMatchType
impl Send for TransformPatternMatchType
impl Sync for TransformPatternMatchType
impl Unpin for TransformPatternMatchType
impl UnwindSafe for TransformPatternMatchType
Blanket Implementations§
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self
to the equivalent element of its superset.