Ecdar/j-Ecdar

Fixing the runtime

Opened this issue · 1 comments

florber commented

Profile where we loose most time, and try and optimize the code.

  • remove unnecessary calls to CDDReduce and CDDRemoveNegative
  • remove unnecessary conversions to guards
  • translate CDDs to guards without conversion to DBMs?
  • check if the current one big CDD for each discrete location in the passedList of the refinement check is efficient
Brandhoej commented

If #74 gets merged, then locations optimize their conversions between CDD and Guard invariants. The merged PR #50 reduced the conversion for base CDD class. I believe the next part of this issue is: Removing CDDReduce and CDDRemoveNegative.