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
  • #55
Closed
Open
Issue created Apr 10, 2021 by Dennis Hendriks@ddennisMaintainer

Add option to change output automaton name for CIF state space generation

More concretely, the CIF 3 explorer (untimed state space generation tool) should get a --name / -n option to specify the output automaton name. The default can be the current fixed statespace name.

The use case is to generate the state space for two models, then being able to merge the models, and do a language equivalence check on them. Now, this requires a manual rename in between.

The CIF data-based synthesis tool already has a similar option to name the resulting supervisor automaton.

Assignee
Assign to
Time tracking

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