Module Spicey.RouteGeneration

Summary of exported operations:

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

Exported operations:

controllerPrefixes :: [String]  Deterministic 

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