| Copyright | (c) Harm Brouwer and Noortje Venhuizen |
|---|---|
| License | Apache-2.0 |
| Maintainer | me@hbrouwer.eu, n.j.venhuizen@rug.nl |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.PDRS.ProjectionGraph
Description
PDRS projection graph
Synopsis
- type PGraph = Graph
- projectionGraph :: PDRS -> PGraph
- pdrsIsAccessibleContext :: PVar -> PVar -> PDRS -> Bool