A city operates a set of tram lines. There are a number of stops for each tram line. For each tram line exactly one stop is the origin of the tram line and exactly one stop is the destination of the tram line. A terminus of a tram line is a stop that is either origin or destination of the tram line. 1)Model the tram system we just described in Alloy. Add signature facts when needed. Express each of the following constraints by an Alloy predicate: No two tram lines have the same stops Every tram stop is served by at least one tram line No two tram lines share the same terminus. 2) Write the following three functions: A function that returns all the tram lines serving a given stop A function that returns for two stops the set of tram lines serving both stops A function that returns, for two given tram lines, the set of stops that are served by both tram lines Add the notion of route to the above model: a route is defined for a tram line and consists of the (ordered) sequence of stops that are visited by the tram line. Define a function that returns for a bus stop and a route the set of stops reachable on this route from this stop.
A city operates a set of tram lines. There are a number of stops for each tram line. For each tram line exactly one stop is the origin of the tram line and exactly one stop is the destination of the tram line. A terminus of a tram line is a stop that is either origin or destination of the tram line.
1)Model the tram system we just described in Alloy. Add signature facts when needed.
Express each of the following constraints by an Alloy predicate:
No two tram lines have the same stops
Every tram stop is served by at least one tram line
No two tram lines share the same terminus.
2) Write the following three functions:
A function that returns all the tram lines serving a given stop
A function that returns for two stops the set of tram lines serving both stops
A function that returns, for two given tram lines, the set of stops that are served by both tram lines
Add the notion of route to the above model: a route is defined for a tram line and consists of the (ordered) sequence of stops that are visited by the tram line.
Define a function that returns for a bus stop and a route the set of stops reachable on this route from this stop.
Step by step
Solved in 3 steps
Hi would it be possilbe to add as well funciton it would be usefully for me to understand how the code is construct
by Bartleby Expert
