#162 #150 Use ctrlBeh predicate to determine whether an event is enabled in controlled system for datasynth (!129) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Ferdie Reijnen requested to merge 162-Databased-synthesis-doesn't-recognize-events-not-enabled-in-the-controlled-system into develop Aug 31, 2021

Closes #162 (closed) Closes #150 (closed)

Edited Aug 31, 2021 by Ferdie Reijnen

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent