/// <summary> /// Обратные рёбра /// </summary> /// <returns>Список обратных рёбер</returns> public static IReadOnlyList <(BasicBlock, BasicBlock)> GetBackEdges(this ControlFlowGraph cfg) => new BackEdges(cfg).BackEdgesFromCFG;
/// <summary> /// Приводимость графа /// </summary> public static bool IsReducibleGraph(this ControlFlowGraph cfg) => new BackEdges(cfg).GraphIsReducible;