| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Solver.Graph
Contents
- slice :: TaggedC c a => GInfo c a -> GInfo c a
- isTarget :: TaggedC c a => c a -> Bool
- graphRanks :: Graph -> (Vertex -> DepEdge) -> (CMap Int, [[Vertex]])
- cGraph :: TaggedC c a => GInfo c a -> CGraph
- gSccs :: CGraph -> Int
- kvWriteBy :: TaggedC c a => CMap (c a) -> CId -> [KVar]
- kvReadBy :: TaggedC c a => GInfo c a -> KVRead
Remove Constraints that don't affect Targets
slice :: TaggedC c a => GInfo c a -> GInfo c a Source
Compute constraints that transitively affect target constraints, and delete everything else from F.SInfo a
Predicate describing Targets
Compute Ranks / SCCs
graphRanks :: Graph -> (Vertex -> DepEdge) -> (CMap Int, [[Vertex]]) Source
Ranks from Graph -----------------------------------------------------
Compute Kvar dependencies
cGraph :: TaggedC c a => GInfo c a -> CGraph Source
Constraint Graph -----------------------------------------------------