Module isomorphism

Structs

• NoSemanticMatch 🔒
• Vf2State 🔒

Traits

• SemanticMatcher 🔒

Functions

• is_isomorphic
  Graph Return true if the graphs g0 and g1 are isomorphic.
• is_isomorphic_matching
  Graph Return true if the graphs g0 and g1 are isomorphic.
• try_match 🔒
  Return Some(bool) if isomorphism is decided, else None.