KiCS2
Exported names: Imported modules:

Module Spicey.RouteGeneration

Summary of exported operations:

generateRoutesForERD :: ERD -> CurryProg   
controllerPrefixes :: [String]   
branchesForEntity :: Entity -> (CPattern,CRhs)   
generateStartpointDataForERD :: ERD -> CurryProg   

Exported operations:

controllerPrefixes :: [String]   

Further infos:
  • solution complete, i.e., able to compute all solutions