Ответ 1
Мы разработали небольшую библиотеку графов для аппаратного проекта. Вы можете посмотреть на него здесь. Это не чисто функциональный, а не график на молнии, но делает хорошую работу для нас. Вы получаете также изменяемые и неизменные графики.
Вот простой пример создания графика:
implicit val factory = DefaultEdge[String](_, _)
val G = Graph(
"Entry" -> "A",
"A" -> "B",
"B" -> "C",
"B" -> "D",
"D" -> "F",
"F" -> "E",
"E" -> "F",
"E" -> "C",
"C" -> "A",
"C" -> "Exit")
G.dotExport to Console.out
Поиск SCC и подкомпонентов
G.sccs foreach println
G.sccs map { _.entry } foreach println
G.sccs filter { _.canSearch } map { _.subcomponents } foreach { _ foreach println }
Прослеживание
for(x <- G.topsort) println(x)
for(x <- G.dft(y)) println(x)
Текущий недостаток заключается в том, что библиотека поддерживает только типы инвариантов, а не полную для всей библиотеки графов.