maul-esel / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
http://safetysharp.isse.de/wiki
MIT License
0 stars 1 forks source link

Implement smarter distribution calculation #32

Closed maul-esel closed 6 years ago

maul-esel commented 6 years ago

Currently all possible distributions can be computed lazily, but since OrderBy() is called on the result, they are actually evaluated eagerly.

Not only is this inefficient, but this also means that later recruitments as well as additional information about the previous resource flow are not considered when retrieving the next distribution. Simply restarting the calculation in such a case may cause an endless loop: as long as the minimal-change distribution is the same, it is checked for a possible resource flow over and over again!

maul-esel commented 6 years ago

Bug fix tracked in #40.

maul-esel commented 6 years ago

Reimplemented in 1a735f644.