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 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 5
    • Merge requests 5
  • 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
  • #156
Closed
Open
Issue created Aug 19, 2021 by Dennis Hendriks@ddennisMaintainer

Don't eliminate enumerations to integers for CIF to mCRL2

Currently, we employ the EnumsToInts CIF to CIF transformation as preprocessing in the CIF to mCRL2 transformation. This means that if we want to write properties over enumeration values, we have to write them over integers instead. If we apply linearization and then transform to mCRL2, this applies to location names as well. This is not very convenient.

Rather than through elimination to integers, it would be better to transform the CIF enumerations/types to mCRL2 sorts, and support some expressions over enumerations natively.

Assignee
Assign to
Time tracking

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