Ecdar / Ecdar/Ecdar-GUI

[Feature] Handling of Special Location Types

Open
#161 0 comments 0 reactions 0 assignees View on GitHub
enhancement simulation
Dominant language
Java
Stars
3
Forks
5
PR merge metrics
No merged PRs in 30d

Description

### 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.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.