Added algorithms for finding strong components and cycles.#65

Open

gablin wants to merge 29 commits into

haskell:masterfrom

gablin:feature/strong-components-cycles

Commits on May 3, 2017

Added algorithms for finding strong components and cycles.
Gabriel Hjort Blindell
committed

Commits on May 4, 2017

Removed header.
Gabriel Hjort Blindell
committed
Added comment about functions copied from other packages.
Gabriel Hjort Blindell
committed
Put import blocks on the same line, according to coding convention.
Gabriel Hjort Blindell
committed
Replaced use of Map with IntMap.
Gabriel Hjort Blindell
committed
Replaced use of tuple with a new data type.
Gabriel Hjort Blindell
committed
Added instances to data types.
Gabriel Hjort Blindell
committed
Added wiki link to Tarjan's SCC algorithm.
Gabriel Hjort Blindell
committed
Broken out large anonymous functions into named functions.
Gabriel Hjort Blindell
committed
Put short if-then-else statement on the same line.
Gabriel Hjort Blindell
committed
Code refactoring.
Gabriel Hjort Blindell
committed
Broken out SCC parts from Cycles into its own module. Also renamed 'cyclesIn' to 'cycles'.
Gabriel Hjort Blindell
committed
Added header.
Gabriel Hjort Blindell
committed
Cycles and SCC modules no longer require the graphs to be of DynGraph class type.
Gabriel Hjort Blindell
committed
Added tests for SCC module.
Gabriel Hjort Blindell
committed
Added tests for the Cycles module.
Gabriel Hjort Blindell
committed
Improved documentation. Lists returned from cycles no longer contains duplicate nodes (hence the node indicating the start and end of a cycle appears only once).
Gabriel Hjort Blindell
committed
Fixed bug.
Gabriel Hjort Blindell
committed
Fixed test case.
Gabriel Hjort Blindell
committed

Commits on Oct 3, 2017

Broken down cCircuits into several smaller functions.
Gabriel Hjort Blindell
committed
Fixed erronous function descriptions of cycles' and uniqueCycles'.
Gabriel Hjort Blindell
committed
Added missing bang patterns to CyclesInState.
Gabriel Hjort Blindell
committed
Added missing bang patterns to SCCState.
Gabriel Hjort Blindell
committed
Fixed typo.
Gabriel Hjort Blindell
committed
Expanded test_strongComponentsOf to check that there exists no cycle between any two nodes belonging to separate components.
Gabriel Hjort Blindell
committed
Rewrote cCircuitsVisit using guards.
Gabriel Hjort Blindell
committed
Removed cisS field from CyclesInState, and now passing that value as function parameter instead (this removes the need for using Maybe, which could fail).
Gabriel Hjort Blindell
committed
Removed cisCurrentComp field from CyclesInState, and now passing that value as function parameter instead (this removes the need for using Maybe, which could fail).
Gabriel Hjort Blindell
committed
Replaced use of noNodes with another method that only takes O(1) instead of potentially O(n).
Gabriel Hjort Blindell
committed