Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 87
    • Issues 87
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 3
    • Merge requests 3
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #155
Closed
Open
Issue created Aug 19, 2021 by Dennis Hendriks@ddennisMaintainer

Linearization should not merge all enumeration types

Currently linearization transformations (product and merge variants) merge all enumerations together to a single enumeration. This includes the enumerations created during the transformation, for the locations of automata.

This is not desired, as it makes it less clear what values the variables with enumeration types can really have. Also, it makes the domains of the variables larger, which can lead to performance issues for certain operations on the models (e.g. synthesis or formal verification).

We should not apply the MergeEnums CIF to CIF transformation as part of linearization. We may have to ensure that all enumerations get proper unique names in the result, etc.

Assignee
Assign to
Time tracking

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