Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- type SSSP = Vector Int
- sssp :: (Fractional a, Ord a) => Ring a -> Dual -> SSSP
- dual :: Int -> Triangulation -> Dual
- data Dual = Dual (Int, Int, Int) DualTree DualTree
- data DualTree
- data PDual
- toPDual :: Ring Rational -> Dual -> PDual
- pdualRings :: Ring Rational -> PDual -> [Ring Rational]
- dualToTriangulation :: Ring Rational -> Dual -> Triangulation
- pdualReduce :: Ring Rational -> PDual -> Int -> PDual
- visibilityArray :: Ring Rational -> Vector [Int]
- naive :: Ring Rational -> SSSP
- naive2 :: Ring Rational -> SSSP
- drawDual :: Dual -> String