Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

[Feature] Handling of Special Location Types #161

Open Nielswps opened 1 year ago

Nielswps commented 1 year ago

Description

The special location types, InconsistentLocation and UniversalLocation, are not handled in the GUI. The case should be handled within the loadLocations method in the StateFactory class.

Reason For Request

Both inconsistent and universal locations have special attributes that should be visualized and reasoned about within each state.