Module omnitigs::omnitigs::univocal_extension_algorithms

Different algorithms to compute univocal extensions.

Structs

• NonSccNodeCentricUnivocalExtensionStrategy
  Computes the univocal extension of a walk assuming the graph is not strongly connected.
• NonSccUnivocalExtensionStrategy
  Computes the univocal extension of a walk assuming the graph is not strongly connected.
• SccNodeCentricUnivocalExtensionStrategy
  Computes the univocal extension of a walk assuming the graph is strongly connected. Might enter an infinite loop if the graph is not strongly connected.
• SccUnivocalExtensionStrategy
  Computes the univocal extension of a walk assuming the graph is strongly connected. Might enter an infinite loop if the graph is not strongly connected.