Skip to content
GitLab
  • Explore
  • Sign in
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #377

Fix legacy hyper-edge creation bug

CIF data-based synthesis variable ordering legacy hyper-edge creator has a bug. For location invariants actually the component invariants are used.

I'm a bit hesitant to change this now though, as it makes comparing the performance of DCSH against the paper more difficult (see #376 (closed)). Also, what if it reduces synthesis performance? Though, we do not have enough benchmarking models to test this yet (#364).

Edited Dec 10, 2022 by Dennis Hendriks
Assignee
Assign to
Time tracking

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