GrammarInfo
Documentation
type CInterfaceMap = Map NontermIdent CInterface
type CVisitsMap = Map NontermIdent (Map ConstructorIdent CVisits)
data CycleStatus
Constructors
| CycleFree CInterfaceMap CVisitsMap | |
| LocalCycle [Route] | |
| InstCycle [Route] | |
| DirectCycle [EdgeRoutes] | |
| InducedCycle CInterfaceMap [EdgeRoutes] |
showsSegment :: CSegment -> [String]