search

mennowo / TLCGen

Application to specify and generate (Dutch) Traffic Light Controller programs
Other
8 stars 8 forks source link

In the clearance times matrix, guaranteed times should be allowed to be empty #21

Closed mennowo closed 6 years ago

mennowo commented 7 years ago

The current version enforces guarteed clearance times in all places where there is a clearance time. It is sometimes needed to have clearance times, but not have a minimum, so the confict will not be guarded. For this, the behaviour of the matrix needs to be altered in front- and backend.

mennowo commented 6 years ago

Duplicate with issue #15